Unification in sort theories and its applications
From MaRDI portal
(Redirected from Publication:1380412)
Recommendations
Cites work
- A Machine-Oriented Logic Based on the Resolution Principle
- A more expressive formulation of many sorted logic
- A variant of a recursively unsolvable problem
- An Efficient Unification Algorithm
- An improved proof procedure1
- An order-sorted logic for knowledge representation systems
- Computational aspects of an order-sorted logic with term declarations
- scientific article; zbMATH DE number 4164128 (Why is no real title available?)
- scientific article; zbMATH DE number 3827203 (Why is no real title available?)
- scientific article; zbMATH DE number 43237 (Why is no real title available?)
- scientific article; zbMATH DE number 67964 (Why is no real title available?)
- scientific article; zbMATH DE number 177848 (Why is no real title available?)
- scientific article; zbMATH DE number 1348474 (Why is no real title available?)
- scientific article; zbMATH DE number 572102 (Why is no real title available?)
- scientific article; zbMATH DE number 590572 (Why is no real title available?)
- scientific article; zbMATH DE number 1142316 (Why is no real title available?)
- scientific article; zbMATH DE number 834570 (Why is no real title available?)
- Investigations in many-sorted quantor logic
- Linear unification
- Linear-time algorithms for testing the satisfiability of propositional horn formulae
- Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
- Order-sorted unification
- Problem corner: The Lion and the Unicorn
- Semantics of order-sorted specifications
- Termination of rewriting
- The substitutional framework for sorted deduction: Fundamental results on hybrid reasoning
- Unification theory
Cited in
(21)- Rasiowa-Sikorski deduction systems in computer science applications.
- Simultaneous rigid sorted unification for tableaux
- A theoretical look at \textsc{Electre Tri}-nB and related sorting models
- scientific article; zbMATH DE number 4168655 (Why is no real title available?)
- scientific article; zbMATH DE number 4049131 (Why is no real title available?)
- scientific article; zbMATH DE number 4049132 (Why is no real title available?)
- scientific article; zbMATH DE number 4088975 (Why is no real title available?)
- scientific article; zbMATH DE number 1324447 (Why is no real title available?)
- scientific article; zbMATH DE number 1330426 (Why is no real title available?)
- scientific article; zbMATH DE number 517007 (Why is no real title available?)
- Order-sorted feature theory unification
- scientific article; zbMATH DE number 1552530 (Why is no real title available?)
- scientific article; zbMATH DE number 1759378 (Why is no real title available?)
- Reasoning without believing: on the mechanisation of presuppositions and partiality
- Sorting Multidimensional Types: Theory and Application
- Unification in pseudo-linear sort theories is decidable
- AC unification through order-sorted AC1 unification
- Order-sorted equational unification revisited
- Order-sorted unification
- Reasoning with preorders and dynamic sorts using free variable tableaux
- Regular expression order-sorted unification and matching
This page was built for publication: Unification in sort theories and its applications
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1380412)
