Derzeit nicht verfügbar
Handgeprüfte Gebrauchtware
Bis zu 50 % günstiger als neu
Der Umwelt zuliebe
Methods of Cut-Elimination
Matthias Baaz, Alexander Leitsch (Broschiert, Englisch)
Keine Bewertungen vorhanden
Optischer Zustand
Beschreibung
This is the first book on cut-elimination in first-order predicate logic from an algorithmic point of view. Instead of just proving the existence of cut-free proofs, it focuses on the algorithmic methods transforming proofs with arbitrary cuts to proofs with only atomic cuts (atomic cut normal forms, so-called ACNFs). The first part investigates traditional reductive methods from the point of view Dieses Produkt haben wir gerade leider nicht auf Lager.
Handgeprüfte Gebrauchtware
Bis zu 50 % günstiger als neu
Der Umwelt zuliebe
Technische Daten
Erscheinungsdatum
25.02.2013
Sprache
Englisch
EAN
9789400734975
Herausgeber
Springer Netherland
Serien- oder Bandtitel
Trends in Logic
Sonderedition
Nein
Autor
Matthias Baaz, Alexander Leitsch
Seitenanzahl
290
Einbandart
Broschiert
Autorenporträt
Matthias Baaz is professor of logical foundations of computer science at the Vienna University of Technology. He obtained his Ph.D. in mathematical logic at the University of Vienna and habilitation at the Vienna University of Technology. His main field of research is proof theory in classical and nonclassical logics.Alexander Leitsch is professor of mathematics and theoretical computer science at the Vienna University of Technology. He obtained his Ph.D. in mathematics at the University of Vienna and habilitation at the University of Linz. His research areas are automated deduction and computational proof theory.
Schlagwörter
CERES, Goedel logic, cut-elimination, proof analysis, resolution
Thema-Inhalt
PBCD - Mathematik: Logik
PBC - Mathematische Grundlagen
UYA - Theoretische Informatik
Höhe
235 mm
Breite
15.5 cm
Hersteller: Springer, Europaplatz 3, Heidelberg, Deutschland, 69115, ProductSafety@springernature.com, Springer Nature Customer Service Center GmbH
-.-
Leider noch keine Bewertungen
Leider noch keine Bewertungen
Sicher bei rebuy kaufen
Schreib die erste Bewertung für dieses Produkt!
Wenn du eine Bewertung für dieses Produkt schreibst, hilfst du allen Kund:innen, die noch überlegen, ob sie das Produkt kaufen wollen. Vielen Dank, dass du mitmachst!
Sicher bei rebuy kaufen