Foundations of the rule-based system ρLog
From MaRDI portal
Publication:3647259
DOI10.3166/jancl.16.151-168zbMath1184.68175OpenAlexW2071191685MaRDI QIDQ3647259
Publication date: 30 November 2009
Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.3166/jancl.16.151-168
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (7)
Metalevel transformation of strategies ⋮ CLP(H):Constraint logic programming for hedges ⋮ The Maude strategy language ⋮ Strategies, model checking and branching-time properties in Maude ⋮ Variadic equational matching in associative and commutative theories ⋮ Flat matching ⋮ On the relation between context and sequence unification
Cites Work
This page was built for publication: Foundations of the rule-based system ρLog