computer scienceanalytic mechanics

Explore academic connections and research related to this keyword

103
Views
5
Total Connections

Related Articles & Bibliographies

1
conversion of hol light proofs into metamath
;Mario M Carneiro
2016 journal of clinical psychopharmacology DOI: 10.6092/issn.1972-57... 139 views
2
mixing computations and proofs
;Michael Beeson
2016 journal of clinical psychopharmacology DOI: 10.6092/issn.1972-57... 160 views
3
initial semantics for higher-order typed syntax in coq
;Benedikt Ahrens;Julianna Zsido
2011 journal of clinical psychopharmacology 148 views
4
an introduction to programming and proving with dependent types in coq
;Adam Chlipala
2010 journal of clinical psychopharmacology 72 views
5
formalization of the pumping lemma for context-free languages
;Marcus V M Ramos;José Carlos Bacelar Almeida;Nelma Moreira;Ruy José Guerra Barretto de Queiroz
2016 journal of clinical psychopharmacology DOI: 10.6092/issn.1972-57... 113 views

Related Journals

No Journals Found

No journals are currently associated with this keyword.

Related Research Groups

No Research Groups Found

No research groups are currently associated with this keyword.

Explore Related Keywords