Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- normal form 9 Treffer
- critical pair 3 Treffer
- dependency graph 3 Treffer
- dependency pair 3 Treffer
- equational theory 3 Treffer
-
45 weitere Werte:
- ground term 3 Treffer
- termination proof 3 Treffer
- functional language 2 Treffer
- logic program 2 Treffer
- modular property 2 Treffer
- semantic labelling 2 Treffer
- transition rule 2 Treffer
- usable rule 2 Treffer
- abstract machine 1 Treffer
- algebraic semantic 1 Treffer
- argument position 1 Treffer
- computing machinery 1 Treffer
- conditional rule 1 Treffer
- constructive proof 1 Treffer
- continuous homomorphism 1 Treffer
- contributed papers 1 Treffer
- contributions 1 Treffer
- control word 1 Treffer
- data graph 1 Treffer
- deduction system 1 Treffer
- equality symbol 1 Treffer
- equational system 1 Treffer
- expanded form 1 Treffer
- extra variable 1 Treffer
- foundations of programming 1 Treffer
- functional strategy 1 Treffer
- good framework 1 Treffer
- horn clause 1 Treffer
- ii caap 1 Treffer
- inductive hypothesis 1 Treffer
- inductive inference 1 Treffer
- infinite chain 1 Treffer
- initial term 1 Treffer
- java program 1 Treffer
- logic programming 1 Treffer
- match problem 1 Treffer
- operational semantic 1 Treffer
- output position 1 Treffer
- part 1 research articles 1 Treffer
- pattern language 1 Treffer
- polynomial time 1 Treffer
- positive data 1 Treffer
- program counter 1 Treffer
- program language design 1 Treffer
- recursive path 1 Treffer
Publikation
- rewriting techniques and applications : 20th international conference, rta 2009 brasilia, brazil, june 29 - july 1, 2009 proceedings 2 Treffer
- algebraic and logic programming : 6th international joint conference alp '97 - hoa '97 southampton, uk, september 3-5, 1997 proceedings 1 Treffer
- algebraic methodology and software technology : 12th international conference, amast 2008 urbana, il, usa, july 28-31, 2008 proceedings 1 Treffer
- algorithmic learning theory : 15th international conference, alt 2004, padova, italy, october 2-5, 2004. proceedings 1 Treffer
- automata, languages and programming : 22nd international colloquium, icalp 95 szeged, hungary, july 10-14, 1995 proceedings 1 Treffer
-
18 weitere Werte:
- automated deduction - cade-22 : 22nd international conference on automated deduction, montreal, canada, august 2-7, 2009. proceedings 1 Treffer
- automated reasoning : second international joint conference, ijcar 2004, cork, ireland, july 4-8, 2004. proceedings 1 Treffer
- caap '92 : 17th colloquium on trees in algebra and programming rennes, france, february 26-28, 1992 proceedings 1 Treffer
- computational aspects of an order-sorted logic with term declarations 1 Treffer
- computing and combinatorics : third annual international conference, cocoon '97 shanghai, china, august 20-22, 1997 proceedings 1 Treffer
- conditional and typed rewriting systems : 4th international workshop, ctrs-94 jerusalem, israel, july 13-15, 1994 proceedings 1 Treffer
- conditional term rewriting systems : 1st international workshop orsay, france, july 8-10, 1987 proceedings 1 Treffer
- functional programming languages and computer architecture : portland, oregon, usa, september 14-16, 1987 proceedings 1 Treffer
- logic for programming and automated reasoning : 6th international conference, lpar'99 tbilisi, georgia, september 6-10, 1999 proceedings 1 Treffer
- logic for programming, artificial intelligence, and reasoning : 10th international conference, lpar 2003, almaty, kazakhstan, september 22-26, 2003. proceedings 1 Treffer
- logic-based program synthesis and transformation : 16th international symposium, lopstr 2006, venice, italy, july 12-14, 2006, revised selected papers 1 Treffer
- mathematical foundations of computer science 1998 : 23rd international symposium, mfcs'98 brno, czech republic, august 24-28, 1998 proceedings 1 Treffer
- programming language implementation and logic programming : 6th international symposium, plilp '94 madrid, spain, september 14-16, 1994 proceedings 1 Treffer
- recent trends in data type specification : 11th workshop on specification of abstract data types joint with the 8th compass workshop oslo, norway, september 19-23, 1995 selected papers 1 Treffer
- rewriting techniques and applications : 13th international conference, rta 2002 copenhagen, denmark, july 22-24, 2002 proceedings 1 Treffer
- rewriting techniques and applications : 15th international conference, rta 2004, aachen, germany, june 3-5, 2004. proceedings 1 Treffer
- rewriting techniques and applications : 3rd international conference, rta-89 chapel hill, north carolina, usa april 3-5, 1989 proceedings 1 Treffer
- tapsoft '97: theory and practice of software development : 7th international joint conference caap/fase lille, france, april 14-18, 1997 proceedings 1 Treffer
Sprache
24 Treffer
-
2009Online E-BookZugriff:
-
2007Online E-BookZugriff:
-
1998Online E-BookZugriff:
-
1997Online E-BookZugriff:
-
2009Online E-BookZugriff:
-
2008Online E-BookZugriff:
-
2004Online E-BookZugriff:
-
2004Online E-BookZugriff:
-
2003Online E-BookZugriff:
-
1996Online E-BookZugriff:
-
1995Online E-BookZugriff: