Algebra of algorithms and Kaluzhnin's graph-schemas

DOI10.1007/BF02366421zbMath0836.68056OpenAlexW2057293782MaRDI QIDQ1905123

E. L. Yushchenko, G. E. Tsejtlin

Publication date: 11 April 1996

Published in: Cybernetics and Systems Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02366421

zbMATH Keywords

Post algebrasGlushkov algorithmic algebras systemsgraph-chart generalization algebra

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Logic in artificial intelligence (68T27) Post algebras (lattice-theoretic aspects) (06D25)

Related Items (1)

Functional completeness criteria in Dijkstra algebra

Cites Work

• Deductive tools of an algebraic programming system
• Maximal finitely defined subalgebras of partial functions of infinite- valued logic
• ON CERTAIN MAXIMAL SUBGROUPS OF SYMMETRIC AND ALTERNATING GROUPS
• An Extension of Klein's Erlanger Program: Logic as Invariant-Theory
• The Two-Valued Iterative Systems of Mathematical Logic. (AM-5)
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Algebra of algorithms and Kaluzhnin's graph-schemas