506 search results - page 4 / 102 » Constructor-based observational logic |
90
Voted
TLCA
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. We investigate the question of what constitutes a proof when quantifiers and multiplicative units are both present. On the technical level this paper provides two new as...
ISCAS
1999
IEEE
15 years 2 months ago
1999
IEEE
57
Voted
AMAST
1998
Springer
15 years 2 months ago
1998
Springer
72
Voted
CSFW
2006
IEEE
15 years 1 months ago
2006
IEEE
BIOSYSTEMS
2007
14 years 10 months ago
2007