3440 search results - page 227 / 688 » Logics For Context-Free Languages |
204
click to vote
DIAGRAMS
2004
Springer
15 years 11 months ago
2004
Springer
Spider diagrams are a visual notation for expressing logical statements. In this paper we identify a well known fragment of first order predicate logic, that we call ESD, equivalen...
223
click to vote
FOMI
2009
15 years 5 months ago
2009
The semantic integration of manufacturing systems has been impeded by the lack of rigorous ontologies for specific domains of manufacturing processes and resources. In this paper w...
188
click to vote
ASM
2010
ASM
16 years 2 months ago
2010
ASM
We extend the Alloy language with the standard imperative constructs; we show the mix of declarative and imperative constructs to be useful in modeling dynamic systems. We present ...
219
click to vote
CORR
2004
Springer
15 years 7 months ago
2004
Springer
The objective of this paper is to develop a functional programming language for quantum computers. We develop a lambda-calculus for the QRAM model, following the work of P. Seling...
220
click to vote
AAMAS
2011
Springer
14 years 10 months ago
2011
Springer
This paper introduces the execution model of a declarative programming language intended for agent applications. Features supported by the language include functional and logic pro...