Second-order quantifier elimination: foundations, computational aspects and applications

Second-order quantifier elimination: foundations, computational aspects and applications

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Gabbay, Dov M. (VerfasserIn)
Weitere Verfasser: Schmidt, Renate A. (VerfasserIn), Szałas, Andrzej (VerfasserIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: London King's College Publ. 2008
Schriftenreihe:Studies in logic 12
Schlagworte:
Logic, Symbolic and mathematical > Prädikatenlogik > Stufe 2 > Quantorenelimination
Online Zugang:Inhaltstext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!

Keine Ergebnisse!