506 search results - page 4 / 102 » Constructor-based observational logic |
111
Voted
TLCA
2009
Springer
15 years 7 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...
57
Voted
ISCAS
1999
IEEE
15 years 4 months ago
1999
IEEE
68
Voted
AMAST
1998
Springer
15 years 4 months ago
1998
Springer
CSFW
2006
IEEE
15 years 4 months ago
2006
IEEE
72
Voted
BIOSYSTEMS
2007
15 years 17 days ago
2007