A fixpoint approach to second order quantifier elimination with applications to correspondence theory

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Nonnengart, Andreas (VerfasserIn)
Weitere Verfasser: Szałas, Andrzej (VerfasserIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Saarbrücken Max-Planck-Inst. für Informatik, Bibliothek & Dokumentation 1995
Schriftenreihe:MPI-I 95-2-007
Schlagworte:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!