Search Results - "Theory of computation Formal languages and automata theory Formalisms"

Deciding Context Unification.

Authors: JEŻ, ARTUR

Source: Journal of the ACM; Oct2019, Vol. 66 Issue 6, p1-45, 45p

Subject Terms: TREE height, ORBIFOLDS

Infinite-state graph transformation systems under adverse conditions.

Authors: Özkan, Okan

Source: IT: Information Technology; 2021, Vol. 63 Issue 5/6, p311-320, 10p

Subject Terms: PETRI nets, CHARTS, diagrams, etc., COMPUTER logic

PRESENTING DISTRIBUTIVE LAWS.

Authors: BONSANGUE, MARCELLO M. HANSEN, HELLE H. KURZ, ALEXANDER et al.

Source: Logical Methods in Computer Science (LMCS); 2015, Vol. 11 Issue 3, p1-23, 23p

Subject Terms: MATHEMATICAL functions, DATA analysis, MATHEMATICAL analysis, COMPUTABILITY logic

PARTIAL ORDER INFINITARY TERM REWRITING.

Authors: BAHR, PATRICK

Source: Logical Methods in Computer Science (LMCS); 2014, Vol. 10 Issue 2, p1-52, 52p

Subject Terms: INFINITY (Mathematics), MATHEMATICAL models, STOCHASTIC convergence, MATRICES (Mathematics), NORMALIZATION (Sociology)

THE COMPLEXITY OF THE FIRST-ORDER THEORY OF GROUND TREE REWRITE GRAPHS.

Authors: GÖLLER, STEFAN LOHREY, MARKUS

Source: Logical Methods in Computer Science (LMCS); 2014, Vol. 10 Issue 1, p1-33, 33p

Subject Terms: COMPUTATIONAL complexity, FIRST-order logic, TREE graphs, GRAPH theory, MATCHING theory, MATHEMATICAL proofs

UNIFYING THE LINEAR TIME-BRANCHING TIME SPECTRUM OF STRONG PROCESS SEMANTICS.

Authors: DE FRUTOS ESCRIG, DAVID GREGORIO RODRÍGUEZ, CARLOS PALOMINO, MIGUEL et al.

Source: Logical Methods in Computer Science (LMCS); Apr2013, Vol. 9 Issue 2, p1-74, 74p, 15 Diagrams, 6 Charts