scientific article
From MaRDI portal
Publication:3075239
zbMath1205.68364MaRDI QIDQ3075239
Publication date: 10 February 2011
Full work available at URL: http://jfr.cib.unibo.it/article/view/1574
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (14)
Automating change of representation for proofs in discrete mathematics (extended version) ⋮ Completeness and decidability results for CTL in constructive type theory ⋮ Quotients of Bounded Natural Functors ⋮ Formalization of the arithmetization of Euclidean plane geometry and applications ⋮ Lifting and Transfer: A Modular Design for Quotients in Isabelle/HOL ⋮ Unnamed Item ⋮ Foundational Property-Based Testing ⋮ A formal C memory model for separation logic ⋮ Graph theory in Coq: minors, treewidth, and isomorphisms ⋮ Iris from the ground up: A modular foundation for higher-order concurrent separation logic ⋮ Unnamed Item ⋮ Computer Certified Efficient Exact Reals in Coq ⋮ Cardinalities of Finite Relations in Coq ⋮ Extensional equality preservation and verified generic programming
Uses Software
This page was built for publication:
