Publication:4435464
From MaRDI portal
zbMath1023.03534MaRDI QIDQ4435464
Carlos T. Simpson, Loïc Pottier, Laurent Chicli
Publication date: 12 November 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2646/26460095.htm
03B70: Logic in computer science
68Q60: Specification and verification (program logics, model checking, etc.)
03F35: Second- and higher-order arithmetic and fragments
03E25: Axiom of choice and related propositions
Related Items
Uses Software