2225 search results - page 148 / 445 » Logical Structures in the Lexicon |
173
click to vote
HYBRID
2004
Springer
15 years 12 months ago
2004
Springer
We present a new high-level programming language, called XGIOTTO, for programming applications with hard real-time constraints. Like its predecessor, XGIOTTO is based on the LET (l...
157
click to vote
ICALP
2004
Springer
15 years 12 months ago
2004
Springer
In multi-valued model checking, a temporal logic formula is interpreted relative to a structure not as a truth value but as a lattice element. In this paper we present new algorith...
179
click to vote
WLP
2004
Springer
15 years 11 months ago
2004
Springer
: The growing use of XML in commercial as well as non-commercial domains to transport information poses new challenges to concepts to access these information. Common ways to acces...
181
click to vote
CSL
2003
Springer
15 years 11 months ago
2003
Springer
System SKS is a set of rules for classical propositional logic presented in the calculus of structures. Like sequent systems and unlike natural deduction systems, it has an explici...
162
click to vote
COMPSAC
2008
IEEE
15 years 8 months ago
2008
IEEE
The formal specification of design patterns is widely recognised as being vital to their effective and correct use in software development. It can clarify the concepts underlying ...