Logic Programming
From MaRDI portal
Publication:5475785
DOI10.1007/11562931zbMath1165.68409OpenAlexW2104948204MaRDI QIDQ5475785
Publication date: 27 June 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11562931
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Logic programming (68N17)
Related Items (4)
Weighted automata and weighted MSO logics for average and long-time behaviors ⋮ Model checking computation tree logic over finite lattices ⋮ Weighted Tree Automata over Valuation Monoids and Their Characterization by Weighted Logics ⋮ Weighted automata and multi-valued logics over arbitrary bounded lattices
This page was built for publication: Logic Programming
