Weighted systems of equations
From MaRDI portal
Publication:1311966
DOI10.1016/0304-3975(93)90339-UzbMath0783.68116MaRDI QIDQ1311966
Philippe Devienne, Max Dauchet, Patrick Lebègue
Publication date: 13 March 1994
Published in: Theoretical Computer Science (Search for Journal in Brave)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- On the existence of nonterminating queries for a restricted class of PROLOG-clauses
- Fundamental properties of infinite trees
- The family of one-counter languages is closed under quotient
- Properties of substitutions and unifications
- Equivalences and transformations of regular systems - applications to recursive program schemes and grammars
- Equational problems and disunification
- Langages à un compteur
- Recurrence domains: Their unification and application to logic programming
- An Efficient Unification Algorithm
- A Machine-Oriented Logic Based on the Resolution Principle