2225 search results - page 145 / 445 » Logical Structures in the Lexicon |
179
click to vote
ENTCS
2010
15 years 3 months ago
2010
We present MLSolver, a tool for solving the satisfiability and validity problems for modal fixpoint logics. The underlying technique is based on characterisations of satisfiabilit...
141
click to vote
LICS
2008
IEEE
16 years 26 days ago
2008
IEEE
The question of whether there is a logic that captures polynomial time is the central open problem in descriptive complexity theory. In my talk, I will review the question and the...
140
click to vote
IPPS
2007
IEEE
16 years 23 days ago
2007
IEEE
Recent advancements in FPGA technology have allowed manufacturers to place general-purpose processors alongside user-configurable logic gates on a single chip. At first glance, ...
154
click to vote
LPAR
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. The calculus of structures is a framework for specifying logical systems, which is similar to the one-sided sequent calculus but more general. We present a system of infe...
181
click to vote
BIRTHDAY
2000
Springer
15 years 10 months ago
2000
Springer
Bistructures are a generalisation of event structures which allow a representation of spaces of functions at higher types in an orderextensional setting. The partial order of caus...