FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science

DOI10.1007/11590156zbMath1172.68555OpenAlexW2484051058MaRDI QIDQ5897796

Vijay Saraswat, Gopalan Nadathur, Radha Jagadeesan

Publication date: 14 November 2006

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

On concurrent behaviors and focusing in linear logic, Structural Focalization, Logical approximation for program analysis, A Survey of the Proof-Theoretic Foundations of Logic Programming, A focused approach to combining logics, A logical characterization of forward and backward chaining in the inverse method, Kripke semantics for higher-order type theory applied to constraint logic programming languages, Proving concurrent constraint programming correct, revisited, TCC, with History, On the unification of classical, intuitionistic and affine logics, Focusing and polarization in linear, intuitionistic, and classical logics