3624 search results - page 394 / 725 » Abstract Algebraic Logic |
191
click to vote
DIAGRAMS
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Investigating the expressiveness of a diagrammatic logic provides insight into how its syntactic elements interact at the semantic level. Moreover, it allows for comparis...
228
click to vote
FUIN
2007
15 years 6 months ago
2007
Mazurkiewicz traces form a model for concurrency. Temporal logic st-order logic are important tools in order to deal with the abstract behavior of such systems. Since typical prop...
185
click to vote
TACAS
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. Symmetry reduction is a technique to combat the state explosion problem in temporal logic model checking. Its use with symbolic representation has suffered from the proh...
198
click to vote
LPNMR
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. Answer Set Programming is a new paradigm based on logic programming. The main component of answer set programming is a system that finds the answer sets of logic program...
158
click to vote
HOTOS
2003
IEEE
15 years 12 months ago
2003
IEEE
Abstract—A Federated Array of Bricks (FAB) is a logical disk system that provides the reliability and performance of enterprise-class disk arrays, at a fraction of the cost and w...