2067 search results - page 26 / 414 » Logics of propositional control |
104
click to vote
LICS
2002
IEEE
15 years 6 months ago
2002
IEEE
This paper presents an algorithm for a non-standard logicminimization problem that arises in £ -valued propositional logic. The problem is motivated by the potential for obtainin...
123
click to vote
TLCA
2009
Springer
15 years 8 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...
ISMVL
2008
IEEE
15 years 8 months ago
2008
IEEE
STACS
2007
Springer
15 years 7 months ago
2007
Springer
LICS
2005
IEEE
15 years 7 months ago
2005
IEEE