Login / Signup

Abstract GSOS Rules and a Modular Treatment of Recursive Definitions.

Stefan MiliusLawrence S. MossDaniel Schwencke
Published in: Log. Methods Comput. Sci. (2013)
Keyphrases