Inter-procedural two-variable Herbrand equalities

DOI10.1007/978-3-662-46669-8_19MaRDI QIDQ6828781zbMATH OpenFDO

Authors Stefan Schulze Frielinghaus, Michael Petter, Helmut Seidl

Publication date 26 April 2016

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

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: Inter-procedural two-variable Herbrand equalities

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