Skip to main content
Registrieren
Springer Professional
SUCHE
MENÜ 1 2 3 4
nach oben

Zeitschrift

Journal of Automated Reasoning 3/2022
Journal of Automated Reasoning

Ausgabe 3/2022

Special Issue of Selected Extended Papers of IJCAR 2020

share
TEILEN
insite
SUCHEN

Inhaltsverzeichnis (6 Artikel)

09.05.2022

Special Issue of Selected Extended Papers of IJCAR 2020
Nicolas Peltier, Viorica Sofronie-Stokkermans

06.05.2022

The Resolution of Keller’s Conjecture
Joshua Brakensiek, Marijn Heule, John Mackey, David Narváez

Open Access 07.05.2022

Deciding the Word Problem for Ground and Strongly Shallow Identities w.r.t. Extensional Symbols
Franz Baader, Deepak Kapur
PDF-Version jetzt herunterladen Zum Volltext

05.05.2022

Polite Combination of Algebraic Datatypes
Ying Sheng, Yoni Zohar, Christophe Ringeissen, Jane Lange, Pascal Fontaine, Clark Barrett

Open Access 04.05.2022

Using Model Theory to Find Decidable and Tractable Description Logics with Concrete Domains
Franz Baader, Jakub Rydval
PDF-Version jetzt herunterladen Zum Volltext

Open Access 12.05.2022

Combination of Uniform Interpolants via Beth Definability
Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin
PDF-Version jetzt herunterladen Zum Volltext

Aktuelle Ausgaben

Ausgabe 1/2023

Ausgabe 4/2022

Ausgabe 3/2022

Ausgabe 2/2022

Ausgabe 1/2022

Ausgabe 8/2021

Ausgabe 7/2021

Ausgabe 6/2021

Ausgabe 5/2021

Ausgabe 4/2021

Premium Partner