scientific article; zbMATH DE number 1980934

MaRDI QIDQ4428308zbMATH OpenFDO

Authors Joachim Niehren, Mateu Villaret

Publication date 15 September 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2514/25140311.htm

zbMATH Keywords

computational logictree automataunification

Mathematics Subject Classification ID

Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Formal languages and automata (68Q45)

Recommendations

• scientific article; zbMATH DE number 1615233
• scientific article; zbMATH DE number 1689586
• Logical Aspects of Computational Linguistics
• scientific article; zbMATH DE number 1101590
• The constraint language for lambda structures

Cited in

(5)

• Combining tree partitioning, precedence, and incomparability constraints
• On the relation between context and sequence unification
• scientific article; zbMATH DE number 1615233 (Why is no real title available?)
• scientific article; zbMATH DE number 1689586 (Why is no real title available?)
• The constraint language for lambda structures

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4428308)