Treffer: Solvability of Context Equations with Two Context Variables Is Decidable: Solvability of context equations with two context variables is decidable

Title:
Solvability of Context Equations with Two Context Variables Is Decidable: Solvability of context equations with two context variables is decidable
Authors:
Manfred Schmidt-Schauß, Klaus U. Schulz
Source:
Lecture Notes in Computer Science ISBN: 9783540662228
Publisher Information:
Springer Berlin Heidelberg, 1999.
Publication Year:
1999
Subject Terms:
Mechanization of proofs and logical operations, Computational Mathematics, Decidability of theories and sets of sentences, Algebra and Number Theory, context unification, 0102 computer and information sciences, 0101 mathematics, Symbolic computation and algebraic computation, 01 natural sciences
Document Type:
Buch Part of book or chapter of book<br />Article
File Description:
application/xml
ISSN:
0747-7171
DOI:
10.1007/3-540-48660-7_5
DOI:
10.1006/jsco.2001.0438
Access URL:
https://www.sciencedirect.com/science/article/abs/pii/S0747717101904389
https://dialnet.unirioja.es/servlet/articulo?codigo=315162
https://core.ac.uk/display/82137262
https://www.sciencedirect.com/science/article/pii/S0747717101904389
https://dblp.uni-trier.de/db/journals/jsc/jsc33.html#Schmidt-SchaussS02
https://link.springer.com/chapter/10.1007/3-540-48660-7_5
https://core.ac.uk/display/23264353
https://dblp.uni-trier.de/db/conf/cade/cade99.html#Schmidt-SchaussS99
https://rd.springer.com/chapter/10.1007/3-540-48660-7_5
https://link.springer.com/10.1007/3-540-48660-7_5
http://dblp.uni-trier.de/db/conf/cade/cade99.html#Schmidt-SchaussS99
Rights:
Elsevier Non-Commercial
Accession Number:
edsair.doi.dedup.....fa6728852fc10a0637867a0c58e9c98c
Database:
OpenAIRE

Weitere Informationen

zbMATH Open Web Interface contents unavailable due to conflicting licenses.