231 search results - page 2 / 47 » A Brief Overview of HOL4 |
TPHOL
2009
IEEE
13 years 11 months ago
2009
IEEE
Abstract. We give an overview of Agda, the latest in a series of dependently typed programming languages developed in Gothenburg. Agda is based on Martin-L¨of’s intuitionistic t...
TPHOL
2008
IEEE
13 years 11 months ago
2008
IEEE
ISCAS
2007
IEEE
13 years 10 months ago
2007
IEEE
— Over the last few decades, complex networks have been intensively studied throughout many fields of science, especially in biological and engineering sciences. This paper brie...
CORR
1998
Springer
13 years 4 months ago
1998
Springer
KI
2010
Springer
13 years 2 months ago
2010
Springer
