Many-Sorted Equivalence of Shiny and Strongly Polite Theories (Englisch)
- Neue Suche nach: Casal, Filipe
- Neue Suche nach: Rasga, João
- Weitere Informationen zu Rasga, João:
- https://orcid.org/0000-0002-1239-8496
- Neue Suche nach: Casal, Filipe
- Neue Suche nach: Rasga, João
- Weitere Informationen zu Rasga, João:
- https://orcid.org/0000-0002-1239-8496
In:
Journal of Automated Reasoning
;
60
, 2
; 221-236
;
2017
-
ISSN:
- Aufsatz (Zeitschrift) / Elektronische Ressource
-
Titel:Many-Sorted Equivalence of Shiny and Strongly Polite Theories
-
Beteiligte:Casal, Filipe ( Autor:in ) / Rasga, João ( Autor:in )
-
Erschienen in:Journal of Automated Reasoning ; 60, 2 ; 221-236
-
Verlag:
- Neue Suche nach: Springer Netherlands
- Neue Suche nach: Springer Science + Business Media B.V.
-
Erscheinungsort:Dordrecht [u.a.]
-
Erscheinungsdatum:2017
-
ISSN:
-
ZDBID:
-
DOI:
-
Medientyp:Aufsatz (Zeitschrift)
-
Format:Elektronische Ressource
-
Sprache:Englisch
- Neue Suche nach: 54.71 / 54.71$jLogikprogrammierung
- Weitere Informationen zu Basisklassifikation
-
Schlagwörter:
-
Klassifikation:
BKL: 54.71 Logikprogrammierung / 54.71$jLogikprogrammierung -
Datenquelle:
Inhaltsverzeichnis – Band 60, Ausgabe 2
Zeige alle Jahrgänge und Ausgaben
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 133
-
Conflict Resolution: A First-Order Resolution Calculus with Decision Literals and Conflict-Driven Clause LearningSlaney, John / Woltzenlogel Paleo, Bruno et al. | 2017
- 157
-
Genetic Programming Proof Search Automatic ImprovementKocsis, Zoltan A. / Swan, Jerry et al. | 2017
- 157
-
Genetic Programming $$\varvec{+}$$ Proof Search $$\varvec{=}$$ Automatic ImprovementKocsis, Zoltan A. / Swan, Jerry et al. | 2017
- 177
-
Visibly Linear Temporal LogicBozzelli, Laura / Sánchez, César et al. | 2017
- 221
-
Many-Sorted Equivalence of Shiny and Strongly Polite TheoriesCasal, Filipe / Rasga, João et al. | 2017
- 237
-
A Formalization of Metric Spaces in HOL LightMaggesi, Marco et al. | 2017