Serie
lecture notes in computer science
(41)theoretical computer science and general issues
(12)programming and software engineering
(7)lecture notes in artificial intelligence
(3)Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
altenkirch, thorsten
(2)arvind kumar bansal
(2)berardi, stefano
(2)chris hankin
(2)coppo, mario
(2)flemming nielson
(2)gerwin klein
(2)groote, philippe de
(2)hanne r. nielson
(2)marco berardini
(2)mcbride, conor
(2)ray toal
(2)sage strieker
(2)suad alagic
(2)tobias nipkow
(2)trinder, phil
(2)abramsky, samson
(1)albert, elvira
(1)alpuente, maría
(1)baier, christel
(1)barthe, gilles
(1)bezem, marc
(1)bodden, eric
(1)caires, luís
(1)callaghan, paul
(1)chiba, shigeru
(1)chitil, olaf
(1)coquand, thierry
(1)dal lago, ugo
(1)dalen, dirk van
(1)damiani, ferruccio
(1)dillig, isil
(1)dybjer, peter
(1)garrigue, jacques
(1)geuvers, herman
(1)gimenet, eduardo
(1)hage, jurriaan
(1)hanus, michael
(1)hermenegildo, manuel
(1)hindley, j. r.
(1)hofmann, martin
(1)hughes, john
(1)kameyama, yukiyoshi
(1)keith d. cooper
(1)kienzle, jörg
(1)koch, david
(1)kuchen, herbert
(1)linda torczon
(1)lindley, sam
(1)luo, zhaohui
(1)maoz, shahar
(1)mckinna, james
(1)michaelson, greg
(1)moortgat, michael
(1)morazán, marco t.
(1)morrill, glyn
(1)naraschewski, wolfgang
(1)nordström, bengt
(1)ohori, atsushi
(1)oliveira, bruno c. d. s.
(1)palsberg, jens
(1)paulin-mohring, christine
(1)pena, ricardo
(1)pogodalla, sylvain
(1)pollack, robert
(1)quatrini, myriam
(1)ranzato, francesco
(1)retore, christian
(1)retoré, christian
(1)reus, bernhard
(1)rival, xavier
(1)rodriguez-artalejo, mario
(1)rosenberg, john
(1)sangiorgi, davide
(1)sannella, don
(1)scholz, sven-bodo
(1)sekerinski, emil
(1)shan, chung-chien
(1)simone, robert de
(1)smith, jan
(1)stuckey, peter j.
(1)tamar christina
(1)tanter, Éric
(1)ueda, kazunori
(1)urzyczyn, pawel
(1)van horn, david
(1)wiedijk, freek
(1)yang, hongseok
(1)Verlag / Hersteller
crc press
(4)springer berlin heidelberg
(31)springer international publishing
(14)Verlag
crc press
(4)springer
(2)springer berlin heidelberg
(31)springer international publishing
(15)springer, berlin
(2)Schlagwort
type systems
(54)informatik
(50)edv
(46)typesystems
(32)programmiersprachen
(24)software engineering
(18)logics and meanings of programs
(17)verification
(16)functional programming
(14)logic
(14)programming languages, compilers, interpreters
(13)semantics
(13)theorie
(13)algorithms
(12)formal methods
(12)program analysis
(12)mathematical logic and formal languages
(11)mathematik
(10)model checking
(10)program semantics
(10)abstract interpretation
(9)formalmethods
(9)lambda calculus
(9)programanalysis
(9)programmier- und skriptsprachen, allgemein
(9)programming
(9)artificial intelligence
(8)computerprogrammierung und softwareentwicklung
(8)intelligenz
(8)künstliche intelligenz
(8)programsemantics
(8)software-entw.
(8)theory of computation
(8)abstractinterpretation
(7)algorithm
(7)allgemeines
(7)compiler
(7)functionalprogramming
(7)ki
(7)künstliche intelligenz - ai
(7)modelchecking
(7)programming languages
(7)programming techniques
(7)proof theory
(7)coq
(6)lambdacalculus
(6)logic programming
(6)logik
(6)programmieren
(6)programmieren (edv)
(6)programming theory
(6)programmingtheory
(6)type theory
(6)formal verification
(5)funktional
(5)isabelle
(5)mathematical logic and foundations
(5)program compilers
(5)program transformation
(5)programming language
(5)programminglanguages
(5)prooftheory
(5)algorithmus
(4)automata
(4)automated reasoning
(4)automatedreasoning
(4)compilers
(4)concurrency models
(4)data flow analysis
(4)dataflowanalysis
(4)formal logic
(4)formallogic
(4)formalverification
(4)haskell
(4)inductive types
(4)informatik, computer
(4)philosophie
(4)program verification
(4)programcompilers
(4)programming logics
(4)programminglogics
(4)rewriting systems
(4)roboter - robotik - industrieroboter
(4)software engineering/programming and operating systems
(4)typensysteme
(4)types
(4)typetheory
(4)übersetzer (edv)
(4)artificialintelligence
(3)compiler und übersetzer
(3)computational logic
(3)computationallogic
(3)computerlinguistik
(3)constraint
(3)debugging
(3)formal specification
(3)formalspecification
(3)grammar systems
(3)inductivelambdacalculus
(3)linguistics
(3)Erscheinungsjahr
1990
(1)1996
(2)1997
(2)1998
(2)1999
(2)2000
(1)2001
(4)2002
(1)2003
(3)2004
(3)2005
(1)2007
(1)2010
(2)2011
(4)2012
(1)2013
(2)2014
(4)2015
(1)2016
(4)2017
(3)2018
(2)2019
(2)2020
(1)2021
(1)2022
(1)2023
(1)2024
(2)Ergebnis: 54 Artikel
Schlagwort: type systems
