scientific article; zbMATH DE number 475422

zbMATH Open0798.68092MaRDI QIDQ4273669

Irène Guessarian

Publication date: 31 October 1994

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

algebraic semanticsuniversal algebraprogram schemenondeterministic recursive programsalgebra of treesforest structuresabstract program semantics

Mathematics Subject Classification ID

Trees (05C05) Graph theory (including graph drawing) in computer science (68R10) Applications of universal algebra in computer science (08A70) Semantics in the theory of computing (68Q55) Grammars and rewriting systems (68Q42)

Related Items (9)

Semantic trees for Dummett's logic LC ⋮ Semantics of trees ⋮ Trees, band monoids and formal languages ⋮ Trees and semantics ⋮ Beyond representing orthology relations by trees ⋮ Pseudo-trees and Boolean algebras ⋮ Axiomatising tree-interpretable structures ⋮ Trees in Concept Lattices ⋮ Metalinear recursive schemas on marked trees

Recommendations

• Unnamed Item 👍 👎
• Unnamed Item 👍 👎
• Tree algebras and varieties of tree languages 👍 👎
• Trees and semantics 👍 👎
• Inductive algebras for trees 👍 👎
• Trees as semilattices 👍 👎
• Tree algebra of sofic tree languages 👍 👎
• ALGEBRAIC CHARACTERIZATION OF LOGICALLY DEFINED TREE LANGUAGES 👍 👎
• Semantics of trees 👍 👎

This page was built for publication: