computer scienceanalytic mechanics

Explore academic connections and research related to this keyword

172
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... 231 views
2
mixing computations and proofs
;Michael Beeson
2016 journal of clinical psychopharmacology DOI: 10.6092/issn.1972-57... 260 views
3
initial semantics for higher-order typed syntax in coq
;Benedikt Ahrens;Julianna Zsido
2011 journal of clinical psychopharmacology 241 views
4
an introduction to programming and proving with dependent types in coq
;Adam Chlipala
2010 journal of clinical psychopharmacology 138 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... 222 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