Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
berghofer, stefan
(1)koopman, pieter
(1)nipkow, tobias
(1)plasmeijer, rinus
(1)swierstra, doaitse
(1)urban, christian
(1)wenzel, makarius
(1)Schlagwort
agda
(2)edv
(2)informatik
(2)theory of computation
(2)algorithm analysis and proble
(1)algorithm analysis and problem complexity
(1)algorithmanalysisandproblemcomplexity
(1)algorithmus
(1)allgemeines
(1)automata theory
(1)calculus
(1)coq
(1)discrete mathematics in computer science
(1)diskret (mathematisch)
(1)dyck words
(1)dyckwords
(1)first-order logic
(1)formal verification
(1)functional programming
(1)functionalgenericlambdacalculus
(1)generic programming
(1)haskell
(1)higher-order logic
(1)hol
(1)informatik, computer
(1)lambda calculus
(1)lambda terms
(1)lambdaterms
(1)logic
(1)logics and meanings of programs
(1)logik
(1)mathematical logic and formal languages
(1)mathematics of computing
(1)mathematik
(1)memory model
(1)mizar
(1)ml
(1)model checking
(1)normalization
(1)pr
(1)programmieren
(1)programmieren (edv)
(1)programming
(1)reduction semantics
(1)reductionsemantics
(1)requirements engineering
(1)requirementsengineering
(1)second-order logic
(1)security protocols
(1)software engineering
(1)softwareengineering
(1)spider spinning
(1)spiderspinning
(1)theoretische informatik
(1)theorie
(1)verification
(1)Ergebnis: 2 Artikel
Schlagwort: agda
