2585 search results - page 430 / 517 » Automating Coherent Logic |
135
click to vote
CSL
2007
Springer
15 years 11 months ago
2007
Springer
Automata on infinite objects were the key to the solution of several fundamental decision problems in mathematics and logic. Today, automata on infinite objects are used for form...
138
Voted
CSL
2007
Springer
15 years 11 months ago
2007
Springer
A game semantics of the (−−∗, →)-fragment of the logic of bunched implications, BI, is presented. To date, categorical models of BI have been restricted to two kinds: funct...
153
click to vote
ESWS
2007
Springer
15 years 11 months ago
2007
Springer
State-of-the-art research on automated learning of ontologies from text currently focuses on inexpressive ontologies. The acquisition of complex axioms involving logical connective...
146
click to vote
ICLP
2007
Springer
15 years 11 months ago
2007
Springer
Abstract In this doctoral work we aim at developing a rich timed concurrent constraint (tcc) based language with strong ties to logic. The new calculus called Universal Timed Concu...
141
click to vote
ICLP
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Region-based memory management is a form of compiletime memory management, well-known from the functional programming world. This paper describes a static region analysis...