Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation

DOI10.1007/b94667zbMath1215.68128OpenAlexW2476290002MaRDI QIDQ5896945

Jürgen Giesl, Janis Voigtländer, Armin Kühnemann

Publication date: 11 August 2009

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

Full work available at URL: https://doi.org/10.1007/b94667

Mathematics Subject Classification ID

Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).

Related Items (1)

Deaccumulation techniques for improving provability

This page was built for publication: Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation