71 search results - page 7 / 15 » An Abstract Way to Define Rewriting Logic |
114
Voted
GG
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Local confluence is an important property in many rewriting and transformation systems. The notion of critical pairs is central for being able to verify local confluence ...
104
Voted
CADE
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. We introduce a semantics for classical logic with partial functions. We believe that the semantics is natural. When a formula contains a subterm in which a function is ap...
107
click to vote
KI
2006
Springer
15 years 9 days ago
2006
Springer
Abstract. Several options are available to relate agent logics to computational agent systems. Among others, one can try to find useful executable fragments of an agent logic or us...
ALP
1990
Springer
15 years 4 months ago
1990
Springer
Conditional Equational Programming is an elegant way to uniformly integrate important features of functional and logic programming. Efficientmethods for equation solving are thus ...
105
click to vote
EUSFLAT
2009
14 years 10 months ago
2009
Abstract-- The concept of an M-approximative system is introduced. Basic properties of the category of M-approximative systems and in a natural way defined morphisms between them a...