The constraint language for lambda structures
From MaRDI portal
Publication:5956115
DOI10.1023/A:1017964622902zbMath0995.68131OpenAlexW1947579273MaRDI QIDQ5956115
Markus Egg, Alexander Koller, Joachim Niehren
Publication date: 19 February 2002
Published in: Journal of Logic, Language and Information (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/a:1017964622902
Related Items (4)
Dominance constraints in stratified context unification ⋮ Reasoning dynamically about what one says ⋮ Determining the consistency of partial tree descriptions ⋮ Dominance constraints with Boolean connectives: A model-eliminative treatment
This page was built for publication: The constraint language for lambda structures