Verzeichnis: PAC

Ziele Untersuchung
mit Columbo Integrität von
Datenbanken Interaktion und
Portierbarkeit Ergonomie der
Schnittstellen

Angebot Produkte Projekt Beratung

Mittel Analytik Modellierung Sprachen Algebra Logik Hardware Denken Kreativität

Zusammenhänge Gesellschaft Wirtschaft Branche Firma

Benutzer


products/Sources/formale Sprachen/Isabelle/Archive-of-Formal-Proofs/thys/PAC_Checker/

SSLproducts/Sources/formale Sprachen/Isabelle/Archive-of-Formal-Proofs/thys/Abstract_Substitution/

document

Abstract_Substitution.thy
Based_Substitution.thy
Based_Substitution_Lifting.thy
Monoid_Action.thy
Natural_Functor.thy
Natural_Magma.thy
Natural_Magma_Functor.thy
Option_Extra.thy
ROOT
Substitution.thy
Substitution_First_Order_Term.thy
Substitution_HOL_ex_Unification.thy
Substitution_Lifting.thy
Substitution_Lifting_Example.thy

Wurzel

Suchen

NIST Cobol Testsuite

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.