scientific article; zbMATH DE number 6819808

MaRDI QIDQ4599212zbMATH OpenFDO

Authors Adam Jardine

Publication date 18 December 2017

Full work available at URL https://aclweb.org/anthology/W/W17/W17-3403.pdf

Mathematics Subject Classification ID

Logic of natural languages (03B65) Linguistics (91F20)

Recommendations

• On the parameterized complexity of default logic and autoepistemic logic
• The complexity of reasoning for fragments of autoepistemic logic
• On the complexity of modal separation logics
• Model-theoretic complexity of automatic structures
• The complexity of theorem proving in autoepistemic logic
• On the complexity of automatic complexity
• scientific article; zbMATH DE number 408811
• Model Theoretic Complexity of Automatic Structures (Extended Abstract)
• On computable automorphisms in formal concept analysis

Cited in

(7)

• Formal parameters of phonology. From government phonology to SPE
• scientific article; zbMATH DE number 740672 (Why is no real title available?)
• Vowel harmony and subsequentiality
• A concatenation operation to derive autosegmental graphs
• A note on phonological similarity in Tesar's (2014) theory of output-drivenness
• Quantifier-free least fixed point functions for phonology
• The expressivity of autosegmental grammars

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 Q4599212)