Bounding Resource Consumption with Gödel-Dummett Logics

DOI10.1007/11591191_47zbMath1143.03340OpenAlexW2043648170MaRDI QIDQ5387874

Dominique Larchey-Wendling

Publication date: 27 May 2008

Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Intermediate logics (03B55)

Related Items (3)

Graph-based decision for Gödel-Dummett logics ⋮ A family of Gödel hybrid logics ⋮ Optimization in temporal qualitative constraint networks

This page was built for publication: Bounding Resource Consumption with Gödel-Dummett Logics