3319 search results - page 33 / 664 » Subshifts, Languages and Logic |
FMOODS
2007
13 years 11 months ago
2007
Rewriting logic provides a powerful, flexible mechanism for language definition and analysis. This flexibility in design can lead to problems during analysis, as different desi...
INAP
2001
Springer
14 years 2 months ago
2001
Springer
Universidade de ´Evora’s Integrated Information System (SIIUE) aims at representing the entire universe of concepts useful for the management and day-to-day operation of the Or...
IJAC
2010
13 years 6 months ago
2010
We give an algebraic characterization of the tree languages that are defined by logical formulas using certain Lindstr
POPL
1992
ACM
14 years 1 months ago
1992
ACM
Semantics for a Higher-Order Functional Language with Logic Variables Radha Jagadeesan Imperial College, London, UK SW7 2BZ. Keshav Pingali Cornell University, Ithaca, NY 14853. A...
TACS
2001
Springer
14 years 2 months ago
2001
Springer
We give a logic programming language based on Fiore, Plotkin and Turi’s binding algebras. In this language, we can use not only first-order terms but also terms involving variab...