Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
levi, giorgio
(7)
ehrig, hartmut
(2)montanari, ugo
(2)boscarol, mauro
(1)carlucci aiello, luigia
(1)kirchner, helene
(1)kowalski, robert
(1)kowalski, robert a.
(1)rodriguez-artalejo, mario
(1)steffen, bernhard
(1)Schlagwort
edv
(7)informatik
(7)logic
(6)programming
(6)software engineering
(5)theory of computation
(4)algorithms
(3)logic programming
(3)logics and meanings of programs
(3)semantics
(3)theorie
(3)algebra
(2)algebraisches programmieren
(2)allgemeines
(2)complexity
(2)concurrency
(2)development
(2)logik
(2)mathematical logic and formal languages
(2)mathematical logic and foundations
(2)model checking
(2)modelchecking
(2)philosophie
(2)program optimization
(2)programmieren
(2)programming language
(2)programming techniques
(2)programminglanguage
(2)programoptimization
(2)software
(2)software engineering/programming and operating systems
(2)theorem proving
(2)theoremproving
(2)-
(1)abstract data types
(1)abstract interpretation
(1)abstractdatatypes
(1)abstractinterpretation
(1)abstrakte datentypen
(1)abstraktedatentypen
(1)algebraic programming
(1)algebraischesprogrammieren
(1)algebric programming
(1)algebricogramming
(1)algorithm
(1)analysis
(1)c programming language
(1)calculus
(1)computer
(1)computer science logic and foundations of programming
(1)computerprogrammierung und softwareentwicklung
(1)concurrent systems
(1)concurrentsystems
(1)constraint
(1)constraint logic programming
(1)constraintogramming
(1)cprogramminglanguage
(1)embedded systems
(1)embeddedsystems
(1)formal languages and automata theory
(1)functional programming
(1)functionalprogramming
(1)gebraicalgebraischesprogrammieren
(1)higher-order programming
(1)higher-orderprogramming
(1)höherstufiges programmieren
(1)höherstufigesprogrammieren
(1)infinite-state systems
(1)infinite-statesystems
(1)java
(1)language
(1)logicprogramming
(1)logics and meanings of pr
(1)modeling
(1)optimization
(1)partial evaluation
(1)partialevaluation
(1)program analysis
(1)program specification
(1)program verification
(1)programanalysis
(1)programmierung
(1)programming languages, compilers, interpreters
(1)programspecification
(1)programverification
(1)proof theory
(1)prooftheory
(1)proving
(1)resolution
(1)rewriting systems
(1)rewritingsystems
(1)scheduling
(1)simulation
(1)software engineering/programming and o
(1)software-entw.
(1)statistik analyse system (s
(1)term rewri
(1)termrewri
(1)th
(1)theoretische informatik
(1)Ergebnis: 7 Artikel
Autor: levi, giorgio
