scientific article; zbMATH DE number 2084328

zbMATH Open1073.68569MaRDI QIDQ3043800FDOQ3043800

Authors: Thomas Baar, Bernhard Beckert, Peter H. Schmitt 

Publication date: 6 August 2004

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

Title of this publication is not available (Why is that?)

Recommendations

• Dynamic Logic with Non-rigid Functions
• Concurrent dynamic logic
• scientific article; zbMATH DE number 4128794
• scientific article; zbMATH DE number 1556014
• PDL with data constants

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Logic in computer science (03B70)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3043800)