Search results
From MaRDI portal
- Journal in Brave) zbMATH Keywords algorithms; nonmonotonic logic; semantics; syntax; nonmonotonic rule systems; metatheorems Mathematics Subject Classification...15 bytes (245 words) - 15:15, 31 January 2024
- through transformation trees, Simple chain grammars and languages, A metatheorem for undecidable properties of formal languages and its application to...15 bytes (252 words) - 04:50, 6 February 2024
- application to NLC graph grammars, Metatheorems for decision problems on hyperedge replacement graph languages, Algorithms for graph problems on BNLC structured...15 bytes (311 words) - 01:57, 31 January 2024
- monadic recursion schemes, A direct algorithm for checking equivalence of LL(k) grammars, Complexity metatheorems for context-free grammar problems, A...15 bytes (455 words) - 06:08, 6 February 2024
- embedding in SYNCHEM2, an expert system for organic synthesis discovery, Metatheorems for decision problems on hyperedge replacement graph languages, Power...15 bytes (261 words) - 02:31, 31 January 2024
- Ll-regular grammars Uses Software ALGOL 60 Cites Work Revised report on the algorithmic language ALGOL 60 Iteration theorems for families of strict deterministic...15 bytes (280 words) - 05:31, 31 January 2024
- transducers, Undecidability of the bandwidth problem on linear graph languages, Metatheorems for decision problems on hyperedge replacement graph languages, Power...15 bytes (276 words) - 14:28, 5 February 2024
- time dpda's and their decidability results, An extended direct branching algorithm for checking equivalence of deterministic pushdown automata, New techniques...15 bytes (452 words) - 04:57, 7 March 2024
- of context-free rewriting and its application to NLC graph grammars, Metatheorems for decision problems on hyperedge replacement graph languages, Power...15 bytes (398 words) - 12:09, 5 February 2024
- families Autostability and computable families of constructivizations Algorithmic dimensions of homomorphic images of models Recursive unary algebras and...15 bytes (346 words) - 11:58, 31 January 2024
- Mappings and Fixed Point Properties for Unions of Convex Sets, Some logical metatheorems with applications in functional analysis, The normalized duality mappings...15 bytes (421 words) - 15:39, 4 February 2024
- application to NLC graph grammars Apex graph grammars and attribute grammars Metatheorems for decision problems on hyperedge replacement graph languages On the...15 bytes (412 words) - 17:33, 1 February 2024
- An NC algorithm for recognizing tree adjoining languages, Systolic parsing of context-free languages, An efficient all-parses systolic algorithm for general...15 bytes (1,068 words) - 07:36, 3 February 2024
- fuzzy clustering Fuzzy sets and decision theory Fuzzy sets Fuzzy algorithms Fuzzy algorithms A note on fuzzy sets A definition of a nonprobabilistic entropy...15 bytes (698 words) - 07:43, 31 January 2024
- Complete problems in the first-order predicate calculus, Non-standard algorithmic and dynamic logic, Relational algebraic semantics of deterministic and...15 bytes (1,163 words) - 09:33, 6 February 2024
- co-quasi-variational inequalities with noncompact valued mappings, Some logical metatheorems with applications in functional analysis, Asymptotic behavior of nonexpansive...15 bytes (931 words) - 14:04, 4 February 2024
- internal contextual languages, Generalized factorizations of words and their algorithmic properties, Stack cooperation in multistack pushdown automata, On deciding...15 bytes (2,780 words) - 14:20, 6 February 2024
- cancellation techniques as a practical tool for faster matrix multiplication, Algorithmic uses of the Feferman-Vaught theorem, A shrinking lemma for indexed languages...15 bytes (6,856 words) - 04:50, 7 March 2024
- structure of Dirac operators by the local-compactness method, Some logical metatheorems with applications in functional analysis, Generalized boundary conditions...15 bytes (1,546 words) - 19:42, 5 February 2024
- Approximation methods for nonlinear operator equations, Some logical metatheorems with applications in functional analysis, Approximation of solutions...15 bytes (1,457 words) - 06:30, 7 March 2024
