| SciPort RLP

Durch die Nutzung unserer Webseite erklären Sie sich damit einverstanden, dass wir Cookies verwenden. Weitere Informationen

Automated Reasoning in Some Local Extensions of Ordered Structures.

Multiple-Valued Logic and Soft Computing. Bd. 13. H. 4-6. 2007 S. 397 - 414

Erscheinungsjahr: 2007

Publikationstyp: Zeitschriftenaufsatz

Geprüft

Bibliothek

Autoren

Sofronie-Stokkermans, Viorica (Autor)

Ihlemann, Carsten (Autor)

Verknüpfte Personen

Viorica Sofronie-Stokkermans
Mitarbeiter/in
(Institut für Informatik)

Viorica Sofronie-Stokkermans
Mitarbeiter/in
(Formale Methoden und Theoretische Informatik)

Beteiligte Einrichtungen

Institut für Informatik
(Universität Koblenz)