scientific article; zbMATH DE number 2079666

zbMath1043.03027MaRDI QIDQ4471713

Paulo Mateus, Jaime Ramos, Amílcar Sernadas, Carlos Caleiro

Publication date: 30 July 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2267/22670048.htm

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

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Categorical logic, topoi (03G30) Categorical semantics of formal languages (18C50)

Related Items (2)

Parchments for CafeOBJ Logics ⋮ Homotopical Categories of Logics

This page was built for publication: