Search results for "SSReflect"

Found 14 publication records. Showing 14 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
33	Alexander Bagnall, Samuel Merten, Gordon Stewart 0001	A Library for Algorithmic Game Theory in Ssreflect/Coq.	J. Formaliz. Reason.	2017	DBLP DOI BibTeX RDF
33	Véronique Benzaken, Evelyne Contejean, Stefania Dumbrava	Certifying Standard and Stratified Datalog Inference Engines in SSReflect.	ITP	2017	DBLP DOI BibTeX RDF
33	Jónathan Heras, Ekaterina Komendantskaya	Proof Pattern Search in Coq/SSReflect.	CoRR	2014	DBLP BibTeX RDF
33	Jónathan Heras, Thierry Coquand, Anders Mörtberg, Vincent Siles	Computing persistent homology within Coq/SSReflect.	ACM Trans. Comput. Log.	2013	DBLP DOI BibTeX RDF
33	Jónathan Heras, Ekaterina Komendantskaya	Statistical Proof-Patterns in Coq/SSReflect	CoRR	2013	DBLP BibTeX RDF
33	Jónathan Heras, Thierry Coquand, Anders Mörtberg, Vincent Siles	Computing Persistent Homology within Coq/SSReflect	CoRR	2012	DBLP BibTeX RDF
33	Vladimir Komendantsky	Reflexive toolbox for regular expression matching: verification of functional programs in Coq+Ssreflect.	PLPV	2012	DBLP DOI BibTeX RDF
33	Reynald Affeldt, Manabu Hagiwara	Formalization of Shannon's Theorems in SSReflect-Coq.	ITP	2012	DBLP DOI BibTeX RDF
33	Iain Whiteside, David Aspinall 0001, Gudmund Grov	An Essence of SSReflect.	AISC/MKM/Calculemus	2012	DBLP DOI BibTeX RDF
33	Jónathan Heras, María Poza, Maxime Dénès, Laurence Rideau	Incidence Simplicial Matrices Formalized in Coq/SSReflect.	Calculemus/MKM	2011	DBLP DOI BibTeX RDF
33	Vladimir Komendantsky, Alexander Konovalov 0001, Steve Linton	Interfacing Coq + SSReflect with GAP.	UITP	2010	DBLP DOI BibTeX RDF
33	Ulrich Schöpp	A Formalised Lower Bound on Undirected Graph Reachability.	LPAR	2008	DBLP DOI BibTeX RDF
33	François Garillot, Georges Gonthier, Assia Mahboubi, Laurence Rideau	Packaging Mathematical Structures.	TPHOLs	2009	DBLP DOI BibTeX RDF	Formalization of Algebra, Coercive subtyping, SSReflect, Type inference, Coq
33	Sidi Ould Biha	Finite Groups Representation Theory with Coq.	Calculemus/MKM	2009	DBLP DOI BibTeX RDF	Maschke’s theorem, SSReflect, linear algebra, Coq, Representation theory

Displaying result #1 - #14 of 14 (100 per page; Change: )