Serie
lecture notes in computer science
(46)theoretical computer science and general issues
(9)lecture notes in artificial intelligence
(3)mathematics and its applications
(3)Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
bezem, marc
(2)bibel, wolfgang
(2)dershowitz, nachum
(2)i. cioranescu
(2)middeldorp, aart
(2)nivat, maurice
(2)paul r. wellin
(2)richard j. gaylord
(2)samuel n. kamin
(2)schmitt, p. h.
(2)wan fokkink
(2)a. rackauskas
(1)abiteboul, serge
(1)anai, hirokazu
(1)araki, keijiro
(1)artemov, sergei
(1)bachmair, leo
(1)bert, didier
(1)bundy, alan
(1)börger, egon
(1)carlsson, svante
(1)cerioli, maura
(1)chlebus, bogdan s.
(1)choppy, christine
(1)coppo, mario
(1)czaja, ludwik
(1)dalen, dirk van
(1)dang, zhe
(1)dauchet, max
(1)dediu, adrian-horia
(1)domaratzki, michael
(1)even, s.
(1)fiadeiro, josé luis
(1)fitch, john
(1)fontaine, pascal
(1)ganzinger, harald
(1)garrigue, jacques
(1)giesl, jürgen
(1)goguen, joseph a.
(1)goto, eiichi
(1)groote, jan f.
(1)haeberer, armando m.
(1)hagiya, masami
(1)hanus, michael
(1)harman, neil
(1)heiko vogler
(1)horimoto, katsuhisa
(1)hsiang, jieh
(1)hussmann
(1)ibaraki, toshihide
(1)ibarra, oscar h.
(1)igarashi, atsushi
(1)inagaki, yasuyoshi
(1)iwama, kazuo
(1)janousek, jan
(1)jhala, ranjit
(1)jones, neil d.
(1)jouannaud, jean-pierre
(1)kaplan, stephane
(1)kariv, o.
(1)karlsson, rolf
(1)kleine-büning, hans
(1)kutsia, temur
(1)lepistö, timo
(1)lescanne, pierre
(1)lindenstrauss, naomi
(1)lingas, andrzej
(1)lodi, elena
(1)lutz, carsten
(1)malcolm, grant
(1)marcinkowski, jerzy
(1)martín-vide, carlos
(1)mitchell, john c.
(1)mosses, peter
(1)nerode, anil
(1)nielsen, m.
(1)nieuwenhuis, robert
(1)nishizeki, takao
(1)okhotin, alexander
(1)oostrom, vincent van
(1)paterson, michael
(1)pfenning, frank
(1)pinna, g. michele
(1)raamsdonk, femke van
(1)ranise, silvio
(1)reggio, gianna
(1)richter, michael m.
(1)ringeissen, christophe
(1)rodriguez-artalejo, mario
(1)roggenbach, markus
(1)rutten, jan
(1)salomaa, arto
(1)salomaa, kai
(1)schmidt, e. m.
(1)schmidt, renate
(1)shamir, eli
(1)tarlecki, andrzej
(1)thiagarajan, p. s.
(1)truthe, bianca
(1)v. paulauskas
(1)Verlag / Hersteller
springer berlin heidelberg
(47)springer international publishing
(3)springer netherlands
(5)springer new york
(2)Verlag
springer berlin heidelberg
(47)springer international publishing
(3)springer netherlands
(5)springer new york
(2)Schlagwort
termrewriting
(59)term rewriting
(57)edv
(51)informatik
(50)logic
(30)theory of computation
(27)programming
(25)algorithms
(23)automata
(23)complexity
(23)semantics
(22)mathematical logic and formal languages
(21)theorie
(20)logics and meanings of programs
(19)software engineering
(18)verification
(18)mathematik
(17)allgemeines
(15)computer science
(14)automat
(13)computer
(13)computerscience
(12)mathematical logic and foundations
(12)programmiersprachen
(12)programming language
(12)algebra
(11)künstliche intelligenz
(11)programming languages, compilers, interpreters
(11)software engineering/programming and operating systems
(11)algorithm
(10)computation by abstract devices
(10)formal language
(10)programminglanguage
(10)algorithm analysis and problem complexity
(9)algorithmanalysisandproblemcomplexity
(9)artificial intelligence
(9)formallanguage
(9)lambda calculus
(9)proving
(9)theoretische informatik
(9)automated deduction
(8)data structures
(8)datastructures
(8)calculus
(7)model checking
(7)programmier- und skriptsprachen, allgemein
(7)programmieren
(7)symbolic and algebraic manipulation
(7)theorem proving
(7)automateddeduction
(6)intelligenz
(6)ki
(6)künstliche intelligenz - ai
(6)lambdacalculus
(6)modelchecking
(6)software-entw.
(6)theoremproving
(6)algorithmus
(5)data structure
(5)formal languages
(5)formallanguages
(5)hardware
(5)logic programming
(5)logik
(5)optimization
(5)programming techniques
(5)variable
(5)analysis
(4)automated reasoning
(4)automatentheorie
(4)datastructure
(4)formal specification
(4)formale sprachen
(4)formalspecification
(4)grammar
(4)logicprogramming
(4)modeling
(4)philosophie
(4)unification
(4)arithmetik
(3)automatedreasoning
(3)bioinformatics
(3)boundary element method
(3)boundaryelementmethod
(3)combinatorics
(3)complexity theory
(3)complexitytheory
(3)computer applications
(3)computeralgebra
(3)computerprogrammierung und softwareentwicklung
(3)database
(3)datenverarbeitung
(3)feedback
(3)heuristics
(3)higher-order rewriting
(3)higher-orderrewriting
(3)mathematica
(3)notation
(3)resolution
(3)rewriting
(3)Erscheinungsjahr
1981
(1)1982
(1)1984
(1)1986
(2)1987
(1)1988
(3)1989
(1)1990
(2)1992
(2)1993
(2)1994
(3)1995
(4)1996
(1)1997
(2)1998
(2)1999
(1)2000
(2)2001
(1)2002
(1)2003
(2)2004
(1)2005
(5)2006
(1)2007
(2)2010
(4)2011
(2)2012
(5)2013
(1)2014
(1)2015
(1)2016
(1)Ergebnis: 59 Artikel
Schlagwort: termrewriting
