01.05.2008 | Ausgabe 4/2008
Nominal Techniques in Isabelle/HOL
- Zeitschrift:
- Journal of Automated Reasoning > Ausgabe 4/2008
Tipp
Weitere Artikel dieser Ausgabe durch Wischen aufrufen
Bitte loggen Sie sich ein, um Zugang zu diesem Inhalt zu erhalten
Sie möchten Zugang zu diesem Inhalt erhalten? Dann informieren Sie sich jetzt über unsere Produkte:
Anzeige
- Titel
- Nominal Techniques in Isabelle/HOL
- Autor:
-
Christian Urban
- Publikationsdatum
- 01.05.2008
- DOI
- https://doi.org/10.1007/s10817-008-9097-2
- Verlag
- Springer Netherlands
- Zeitschrift
-
Journal of Automated Reasoning
Ausgabe 4/2008
Print ISSN: 0168-7433
Elektronische ISSN: 1573-0670
Premium Partner
