Politeness and Combination Methods for Theories with Bridging Functions (English)
- New search for: Chocron, Paula
- New search for: Fontaine, Pascal
- Further information on Fontaine, Pascal:
- https://orcid.org/0000-0003-4700-6031
- New search for: Ringeissen, Christophe
- Further information on Ringeissen, Christophe:
- https://orcid.org/0000-0002-5937-6059
- New search for: Chocron, Paula
- New search for: Fontaine, Pascal
- Further information on Fontaine, Pascal:
- https://orcid.org/0000-0003-4700-6031
- New search for: Ringeissen, Christophe
- Further information on Ringeissen, Christophe:
- https://orcid.org/0000-0002-5937-6059
In:
Journal of Automated Reasoning
;
64
, 1
; 97-134
;
2019
-
ISSN:
- Article (Journal) / Electronic Resource
-
Title:Politeness and Combination Methods for Theories with Bridging Functions
-
Contributors:
-
Published in:Journal of Automated Reasoning ; 64, 1 ; 97-134
-
Publisher:
- New search for: Springer Netherlands
- New search for: Springer Science + Business Media B.V.
-
Place of publication:Dordrecht [u.a.]
-
Publication date:2019
-
ISSN:
-
ZDBID:
-
DOI:
-
Type of media:Article (Journal)
-
Type of material:Electronic Resource
-
Language:English
- New search for: 54.71 / 54.71$jLogikprogrammierung
- Further information on Basic classification
-
Keywords:
-
Classification:
BKL: 54.71 Logikprogrammierung / 54.71$jLogikprogrammierung -
Source:
Table of contents – Volume 64, Issue 1
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
A Conflict-Driven Solving Procedure for Poly-Power ConstraintsHuang, Cheng-Chao / Xu, Ming / Li, Zhi-Bin et al. | 2018
- 21
-
ExpTime Tableaux with Global Caching for Hybrid PDLNguyen, Linh Anh et al. | 2019
- 53
-
Automating Free Logic in HOL, with an Experimental Application in Category TheoryBenzmüller, Christoph / Scott, Dana S. et al. | 2019
- 73
-
Priority Inheritance Protocol Proved CorrectZhang, Xingyuan / Urban, Christian / Wu, Chunhan et al. | 2019
- 97
-
Politeness and Combination Methods for Theories with Bridging FunctionsChocron, Paula / Fontaine, Pascal / Ringeissen, Christophe et al. | 2019
- 135
-
A Prover Dealing with Nominals, Binders, Transitivity and Relation HierarchiesCialdea Mayer, Marta et al. | 2019