Serie
lecture notes in computer science
(26)theoretical computer science and general issues
(6)programming and software engineering
(4)Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
chris hankin
(2)flemming nielson
(2)gerwin klein
(2)groote, philippe de
(2)hanne r. nielson
(2)suad alagic
(2)tobias nipkow
(2)abramsky, samson
(1)altenkirch, thorsten
(1)berardi, stefano
(1)bezem, marc
(1)bodden, eric
(1)bowman, william j.
(1)caires, luís
(1)callaghan, paul
(1)chiba, shigeru
(1)coppo, mario
(1)dalen, dirk van
(1)garcia, ronald
(1)garrigue, jacques
(1)gimenet, eduardo
(1)hage, jurriaan
(1)hanus, michael
(1)hindley, j. r.
(1)hofmann, martin
(1)hughes, john
(1)kameyama, yukiyoshi
(1)kienzle, jörg
(1)koch, david
(1)kuchen, herbert
(1)lindley, sam
(1)luo, zhaohui
(1)maoz, shahar
(1)mcbride, conor
(1)mckinna, james
(1)moortgat, michael
(1)morazán, marco t.
(1)morrill, glyn
(1)naraschewski, wolfgang
(1)ohori, atsushi
(1)paulin-mohring, christine
(1)pollack, robert
(1)ranzato, francesco
(1)retore, christian
(1)reus, bernhard
(1)rival, xavier
(1)rodriguez-artalejo, mario
(1)rosenberg, john
(1)sangiorgi, davide
(1)sannella, don
(1)shan, chung-chien
(1)simone, robert de
(1)stuckey, peter j.
(1)tanter, Éric
(1)trinder, phil
(1)ueda, kazunori
(1)van horn, david
(1)yang, hongseok
(1)Verlag / Hersteller
springer berlin heidelberg
(21)springer international publishing
(11)Schlagwort
typesystems
(33)type systems
(32)edv
(31)informatik
(31)programmiersprachen
(15)logics and meanings of programs
(12)programming languages, compilers, interpreters
(12)logic
(11)software engineering
(11)program analysis
(10)functional programming
(9)programanalysis
(9)algorithms
(8)programmier- und skriptsprachen, allgemein
(8)semantics
(8)abstract interpretation
(7)abstractinterpretation
(7)functionalprogramming
(7)theory of computation
(7)verification
(7)mathematical logic and formal languages
(6)programming techniques
(6)theorie
(6)type theory
(6)algorithm
(5)computerprogrammierung und softwareentwicklung
(5)lambda calculus
(5)lambdacalculus
(5)mathematical logic and foundations
(5)model checking
(5)modelchecking
(5)program semantics
(5)program transformation
(5)programsemantics
(5)allgemeines
(4)artificial intelligence
(4)automata
(4)automated reasoning
(4)automatedreasoning
(4)data flow analysis
(4)dataflowanalysis
(4)funktional
(4)logic programming
(4)program compilers
(4)programcompilers
(4)programmieren (edv)
(4)programming
(4)programming languages
(4)programminglanguages
(4)proof theory
(4)typensysteme
(4)typetheory
(4)compiler
(3)constraint
(3)coq
(3)formal methods
(3)formalmethods
(3)functional languages
(3)functionallanguages
(3)haskell
(3)intelligenz
(3)isabelle
(3)ki
(3)künstliche intelligenz
(3)künstliche intelligenz - ai
(3)linguistics
(3)logik
(3)mathematik
(3)philosophie
(3)program verification
(3)programmieren
(3)programming language
(3)programming logics
(3)programming theory
(3)programminglanguage
(3)programminglogics
(3)programmingtheory
(3)programtransformation
(3)programverification
(3)proof
(3)prooftheory
(3)software engineering/programming and operating systems
(3)term rewriting
(3)termrewriting
(3)abstract testing
(2)abstracttesting
(2)artificialintelligence
(2)assertions
(2)bug detection
(2)bugdetection
(2)categorical methods
(2)categoricalmethods
(2)compilers
(2)computational linguistics
(2)computational logic
(2)computationallogic
(2)computer science
(2)computerlinguistik
(2)concurrent models
(2)concurrentmodels
(2)Erscheinungsjahr
1990
(1)1996
(2)1997
(2)1998
(2)1999
(2)2001
(4)2002
(1)2003
(2)2004
(1)2010
(1)2011
(1)2013
(1)2014
(3)2015
(1)2016
(4)2017
(2)2019
(2)2020
(1)Ergebnis: 33 Artikel
Schlagwort: typesystems
