Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Schlagwort
coq
(3)edv
(3)informatik
(3)allgemeines
(2)logics and meanings of programs
(2)mathematical logic and formal languages
(2)proof theory
(2)prooftheory
(2)theorie
(2)type systems
(2)verification
(2)abstract mathematics
(1)abstractmathematics
(1)algorithm
(1)algorithms
(1)answer set programming
(1)answersetprogramming
(1)applied type system
(1)appliedtem
(1)artificial intell
(1)automatisches schließen
(1)automatischesschließen
(1)begründung
(1)beweis
(1)beweisprüfung
(1)beweistheorie
(1)complexity
(1)computerprogrammierung und softwareentwicklung
(1)formal methods
(1)formal proof
(1)formal proofs
(1)formal semantics
(1)formal specification
(1)formal verification
(1)formale sprache
(1)formalmethods
(1)formalproof
(1)formalproofs
(1)formalsemantics
(1)formalspecification
(1)formalverification
(1)inductive types
(1)inductivelambdacalculus
(1)isabelle
(1)lambda calculus
(1)logic
(1)logic programming
(1)logicprogramming
(1)logics and meanings
(1)logik
(1)ml
(1)monoid
(1)philosophie
(1)programmier- und skriptsprachen, allgemein
(1)programmiersprachen
(1)programming lang
(1)programming language
(1)programming languages, compilers, interpreters
(1)programming techniques
(1)programminglanguage
(1)proof checking
(1)proofchecking
(1)proving
(1)quicksort
(1)recursio
(1)recursion
(1)rewriting systems
(1)rewritingsystems
(1)scheme
(1)self
(1)simulation
(1)software engineering/programming and operating systems
(1)sprache
(1)subtyping
(1)tems
(1)theoretische informatik
(1)theory of computation
(1)type
(1)type theory
(1)typensysteme
(1)typentheorie
(1)types
(1)typesystems
(1)Ergebnis: 3 Artikel
Autor: berardi, stefano
