Serie
lecture notes in computer science
(71)theoretical computer science and general issues
(22)texts in theoretical computer science. an eatcs series
(6)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
barry jay
(2)börger, egon
(2)david kueker
(2)dines bjørner
(2)dirk draheim
(2)dybjer, peter
(2)koopman, pieter
(2)loczewski, georg p.
(2)luca paolini
(2)meinke, karl
(2)nordström, bengt
(2)oostrom, vincent van
(2)peter o'hearn
(2)robert tennent
(2)ronchi della rocca, simona
(2)simona ronchi della rocca
(2)smith, jan
(2)tiuryn, jerzy
(2)werner kluge
(2)abadi, martin
(1)abramsky, samson
(1)aceto, luca
(1)achten, peter
(1)albers, susanne
(1)amadio, roberto
(1)baader, franz
(1)bachmair, leo
(1)berardi, stefano
(1)bezem, marc
(1)bonsangue, marcello m.
(1)borzyszkowski, andrzej m.
(1)brookes, stephen
(1)buchberger, bruno
(1)bundy, alan
(1)butterfield, andrew
(1)böhm, c.
(1)callaghan, paul
(1)coppo, mario
(1)coquand, thierry
(1)curien, pierre-louis
(1)damiani, ferruccio
(1)de queiroz, ruy
(1)dershowitz, nachum
(1)dezani-ciancaglini, mariangiola
(1)di pierro, alessandra
(1)dowek, gilles
(1)duparc, jacques
(1)escobar, santiago
(1)fasel, joseph h.
(1)flum, jörg
(1)freire, jose-luis
(1)fribourg, laurent
(1)gavanelli, marco
(1)geuvers, herman
(1)giesl, jürgen
(1)girard, jean-yves
(1)grelck, clemens
(1)groote, jan f.
(1)guerino mazzola
(1)gurevich, yuri
(1)gérard milmeister
(1)hagiya, masami
(1)heering, jan
(1)henzinger, thomas a.
(1)hofmann, martin
(1)hsiang, jieh
(1)huch, frank
(1)ingólfsdóttir, anna
(1)ito, takayasu
(1)jacobs, bart
(1)jody weissmann
(1)johnstone, peter
(1)jäger, gerhard
(1)kahle, reinhard
(1)kahn, g.
(1)kanazawa, makoto
(1)keller, robert e.
(1)kleine-büning, hans
(1)kobayashi, naoki
(1)kuchen, herbert
(1)le metayer, daniel
(1)lindley, sam
(1)loidl, hans w.
(1)luo, zhaohui
(1)löding, christof
(1)macqueen, d. b.
(1)main, michael
(1)main, michael g.
(1)malacaria, pasquale
(1)marchetti-spaccamela, alberto
(1)matias, yossi
(1)mcbride, conor
(1)mckinna, james
(1)melton, austin
(1)melton, austin c.
(1)meyer, albert r.
(1)middeldorp, aart
(1)mislove, michael
(1)mislove, michael w.
(1)mitchell, john c.
(1)Verlag / Hersteller
birkhäuser boston
(2)crc press
(2)springer berlin heidelberg
(76)springer international publishing
(4)springer new york
(2)springer, berlin springer nature switzerland springer
(2)tredition
(2)Verlag
birkhäuser boston
(2)crc press
(2)springer
(2)springer berlin heidelberg
(76)springer international publishing
(4)springer nature switzerland
(2)springer new york
(2)springer, berlin
(2)tredition
(2)Schlagwort
lambda calculus
(92)edv
(76)informatik
(76)lambdacalculus
(65)logic
(50)mathematical logic and formal languages
(38)programming
(35)semantics
(34)theorie
(33)logics and meanings of programs
(32)programmiersprachen
(31)programming languages, compilers, interpreters
(29)theory of computation
(29)mathematical logic and foundations
(23)mathematik
(23)software engineering
(23)allgemeines
(21)algorithms
(18)complexity
(18)theoretische informatik
(17)programming language
(16)automata
(15)verification
(15)artificial intelligence
(14)calculus
(14)programmier- und skriptsprachen, allgemein
(14)programming theory
(14)proof theory
(14)künstliche intelligenz
(13)programming techniques
(13)type theory
(13)intelligenz
(12)ki
(12)künstliche intelligenz - ai
(12)software engineering/programming and operating systems
(12)software-entw.
(12)automat
(11)functional programming
(11)program semantics
(11)informatik, computer
(10)logik
(10)programminglanguage
(10)programsemantics
(10)variable
(10)compiler
(9)programmingtheory
(9)prooftheory
(9)proving
(9)termrewriting
(9)type systems
(9)typetheory
(9)computation by abstract devices
(8)computer
(8)formal methods
(8)philosophie
(8)programmieren (edv)
(8)term rewriting
(8)theorem proving
(8)algorithm
(7)algorithmanalysisandproblemcomplexity
(7)functionalprogramming
(7)logic programming
(7)mathematical logic
(7)programming languages
(7)rewriting systems
(7)automated deduction
(6)compilers and interpreters
(6)constraint
(6)formal languages
(6)formal verification
(6)formallanguages
(6)formalmethods
(6)logicprogramming
(6)logikprogrammierung
(6)mathematicallogic
(6)model checking
(6)programmieren
(6)resolution
(6)rewritingsystems
(6)Übersetzer (edv)
(6)algorithm analysis and problem complexity
(5)computational logic
(5)computationallogic
(5)computer science
(5)computerscience
(5)coq
(5)data structures
(5)formale sprachen
(5)formalverification
(5)grundlagen
(5)haskell
(5)mathematische grundlagen
(5)mathematische logik
(5)polymorphism
(5)program analysis
(5)programming calculi
(5)proof
(5)theoremproving
(5)theoretical computer science
(5)typesystems
(5)Erscheinungsjahr
1975
(1)1984
(1)1985
(1)1986
(1)1987
(1)1989
(2)1990
(2)1992
(1)1993
(3)1994
(3)1995
(5)1996
(3)1997
(1)1998
(2)1999
(2)2000
(4)2001
(7)2002
(3)2003
(2)2004
(5)2005
(6)2006
(3)2007
(3)2008
(1)2009
(5)2010
(4)2012
(1)2013
(3)2014
(2)2015
(1)2016
(2)2017
(2)2018
(3)2019
(1)2020
(1)2023
(2)2024
(1)Ergebnis: 92 Artikel
Schlagwort: lambda calculus
