scientific article; zbMATH DE number 1088028

zbMath0885.03031MaRDI QIDQ4364375

Luís Monteiro, Luís Caires

Publication date: 15 April 1998

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

zbMATH Keywords

partial order semanticssemanticsproof netsoperational equivalenceinteraction of agentslinear logic-based languageproof-search computation

Mathematics Subject Classification ID

Theory of programming languages (68N15) Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Structure of proofs (03F07)

This page was built for publication: