Proof Theory for General Unification
- Indbinding:
- Hardback
- Sideantal:
- 178
- Udgivet:
- 1. november 1991
- Udgave:
- 1991
- Størrelse:
- 235x155x12 mm.
- Vægt:
- 990 g.
- 8-11 hverdage.
- 9. december 2024
Normalpris
Abonnementspris
- Rabat på køb af fysiske bøger
- 1 valgfrit digitalt ugeblad
- 20 timers lytning og læsning
- Adgang til 70.000+ titler
- Ingen binding
Abonnementet koster 75 kr./md.
Ingen binding og kan opsiges når som helst.
- 1 valgfrit digitalt ugeblad
- 20 timers lytning og læsning
- Adgang til 70.000+ titler
- Ingen binding
Abonnementet koster 75 kr./md.
Ingen binding og kan opsiges når som helst.
Beskrivelse af Proof Theory for General Unification
In this monograph we study two generalizations of standard unification, E-unification and higher-order unification, using an abstract approach orig inated by Herbrand and developed in the case of standard first-order unifi cation by Martelli and Montanari.
Brugerbedømmelser af Proof Theory for General Unification
Giv din bedømmelse
For at bedømme denne bog, skal du være logget ind.Andre købte også..
Find lignende bøger
Bogen Proof Theory for General Unification findes i følgende kategorier:
© 2024 Pling BØGER Registered company number: DK43351621