Login / Signup

Co-inductive Axiomatization of a Synchronous Language.

David NowakJean-René BeauvaisJean-Pierre Talpin
Published in: TPHOLs (1998)
Keyphrases