scientific article; zbMATH DE number 7638380

DOI10.4230/LIPICS.FSTTCS.2022.0zbMATH Open1502.68026MaRDI QIDQ5872928FDOQ5872928

Authors:

Publication date: 4 January 2023

Full work available at URL: https://drops.dagstuhl.de/opus/volltexte/2022/17391/pdf/lipics-vol250-fsttcs2022-complete.pdf

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

Recommendations

• scientific article; zbMATH DE number 5895310
• Front Matter, Table of Contents, Preface, Conference Organization
• scientific article; zbMATH DE number 6677774
• scientific article; zbMATH DE number 7189134
• scientific article; zbMATH DE number 7489398
• scientific article; zbMATH DE number 6864755
• scientific article; zbMATH DE number 5895307
• IARCS annual conference on foundations of software technology and theoretical computer science (FSTTCS 2011), Mumbai, India, December 12--14, 2011
• Front Matter, Table of Contents, Preface, Conference Organization
• scientific article; zbMATH DE number 6125957

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Theory of computing (68Qxx)

Cited In (3)

• Title not available (Why is that?)
• Front Matter, Table of Contents, Preface, Conference Organization
• Title not available (Why is that?)

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 Q5872928)