scientific article; zbMATH DE number 6194296
From MaRDI portal
Publication:5327123
zbMATH Open1282.68054MaRDI QIDQ5327123
Author name not available (Why is that?)
Publication date: 2 August 2013
Title of this publication is not available (Why is that?)
Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Theory of computing (68Qxx)
Related Items (3)
Computability in Europe 2010 ⋮ Special issue: Selected papers based on the presentations at the workshop `Continuity, computability, constructivity: from logic to algorithms', Cologne, Germany, July 2009 ⋮ Special issue: Computability in Europe: Mathematical theory and computational practice. Selected papers based on the presentations at the conference CiE 2009, Heidelberg, Germany, July 19--24, 2009
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 Q5327123)
