1
0
0
(1 - 29 von 34
)
Preface: Volume ScienceDirect.com
www.sciencedirect.com
von B Gramlich · — Bernhard Gramlich (co-chair), TU Wien (Austria). Salvador Lucas (co-chair), TU Valencia (Spain). Vincent van Oostrom, U Utrecht (The Netherlands). › pii
dblp: Bernhard Gramlich
dblp.uni-trier.de
List of computer science publications by Bernhard Gramlich
How Fuzzy is my Fuzzy Description Logic?
iccl.inf.tu-dresden.de
In Bernhard Gramlich and Dale Miller and Ulrike Sattler, eds.,Proceedings of the 6th International Joint Conference on Automated Reasoning (IJCAR'12), ... › web
Search results for "Bernhard Gramlich" – FacetedDBLP
dblp.l3s.uni-hannover.de
Found 49 publication records. Showing 49 according to the selection in the facets . Hits ? Authors Title Venue Year Link Author keywords; 1: Bernhard Gramlich ...
International Termination Workshop
www-i2.informatik.rwth-aachen.de
3rd INTERNATIONAL WORKSHOP ON TERMINATION Utrecht (The Netherlands) ... Bernhard Gramlich: A Refined Analysis for Termination of Combined Rewrite Systems:
Preface - ScienceDirect.comwww.sciencedirect.com › science › article › pii › pdf
www.sciencedirect.com
Bernhard Gramlich andSalvador Lucas. Abstract. 2nd International Workshop on Reduction Strategies in Rewriting and Programming (WRS.
dblp: BibTeX records: Bernhard Gramlich
dblp.uni-trier.de
List of computer science publications by BibTeX records: Bernhard Gramlich
RTA 2005
verify.rwth-aachen.de
Bernhard Gramlich: Vienna: Florent Jacquemard: Cachan: Claude Kirchner: Nancy: Pierre Lescanne: Lyon: Aart Middeldorp: Innsbruck: Hitoshi Ohsaki: Amagasaki: Vincent
Preface: Volume 58, Issue 2 - ScienceDirect
www.sciencedirect.com
Ruben Gamboa, AnythingOvernight.com, Inc., Texas (USA). Bernhard Gramlich (co-chair), TU Wien (Austria). Bernd Löchner, U. Kaiserslautern (Germany).
2012 (Nagoya)verify.rwth-aachen.de › documents › minutes-2012
verify.rwth-aachen.de
What has been the role of RDP (as an umbrella event, since its creation in 2003) and its implications for RTA (Bernhard Gramlich)? - Co-location is not good for ...
Minutes - RWTH Aachenverify.rwth-aachen.de › documents › minutes-2002
verify.rwth-aachen.de
Modular Termination Proofs Using Dependency Pairs, Jürgen Giesl On Modularity in Context-sensitive Rewriting, Bernhard Gramlich Deciding ...
Institut für Rechnerarchitektur und Parallelrechner - Forschung
www-wjp.cs.uni-sb.de
In Bernhard Gramlich, editors, FroCoS 2005, volume of Lecture Notes in Computer Science, pages , Springer Verlag, ISBN :
2001 (Utrecht) - Lehr- und Forschungsgebiet Informatik 2, RWTH Aachen
verify.rwth-aachen.de
Progress report on rewriting activities in Austria, Bernhard Gramlich
SEKI Report
kluedo.ub.uni-kl.de
Bernhard Gramlich (5) Joachim Steinbach (4) + weitere. Erscheinungsjahr (68) (6) (5) (4) (4) (3) (2) Dokumenttyp . Preprint (85)
Publications
www-madlener.informatik.uni-kl.de
Publications Claus-Peter Wirth and Bernhard Gramlich Bernhard Gramlich. Sufficient conditions for modular termination of conditional term rewriting systems.
Search results for "Felix Schernhammer" – FacetedDBLP
dblp.l3s.uni-hannover.de
Karl Gmeiner, Bernhard Gramlich, Felix Schernhammer: On Soundness Conditions for Unraveling Deterministic Conditional Rewrite Systems. RTA : 2012: DBLP DOI BibTeX …
A Guide to UNICOM, an Inductive Theorem Prover Based on Rewriting and...
kluedo.ub.uni-kl.de
We provide an overview of UNICOM, an inductive theorem prover for equational logic which isbased on refined rewriting and completion techniques. The...
Confluence without Termination via Parallel Critical Pairs
kluedo.ub.uni-kl.de
von B Gramlich · · Zitiert von: 38 — Bernhard Gramlich. We present a new criterion for confluence of (possibly) non-terminating left-linear term rewriting systems. The criterion is based on ... › docId
Details der Publikation - Automated reasoning - TU Braunschweigkatalog.ub.tu-braunschweig.de › vufind › Record
katalog.ub.tu-braunschweig.de
Automated reasoning : 6th international joint conference, IJCAR 2012, Manchester, UK, June , ; proceedings / Bernhard Gramlich ... (eds.) · Weitere ...
New Abstract Criteria for Termination and Confluence of KLUEDOkluedo.ub.uni-kl.de › index › index › docId
kluedo.ub.uni-kl.de
Bernhard Gramlich. We consider the problem of verifying confluence and termination of conditionalterm rewriting systems (TRSs). For unconditional TRSs the ...
Institut für Rechnerarchitektur und Parallelrechner - Leute
www-wjp.cs.uni-saarland.de
In Bernhard Gramlich, editors, FroCoS 2005,. volume of Lecture Notes in Computer Science, pages , Springer Verlag, ISBN
UB Bielefeld: Katalog.plus!: Exemplare: Mietrechtkatalogplus.ub.uni-bielefeld.de › Record
katalogplus.ub.uni-bielefeld.de
Mietrecht / von Bernhard Gramlich (Vorsitzender Richter am Oberlandesgericht Stuttgart a.D.) ; Verlag C.H. Beck · 14., neu bearbeitete Auflage · München : C.H. ...
[DL] IJCAR 2012: 2nd Call for Papers
mailman.informatik.uni-bremen.de
Bernhard Gramlich gramlich at logic.at. Thu Dec :31:34 CET Previous message: [DL] IEEE International Symposium on Policies for Distributed ...
Publication details
www.ps.uni-saarland.de
@CONFERENCE{Brown2012b, title = {Satallax: An Automated Higher-Order Prover}, author = {Chad E. Brown}, year = {2012}, editor = {Bernhard Gramlich, ...
Publications of Manfred Schmidt-Schauß
www2.ki.informatik.uni-frankfurt.de
In Bernhard Gramlich, Dale Miller, and Uli Sattler, editors, Automated Reasoning - Proceedings of the 6th International Joint Conference, IJCAR 2012, Manchester, UK
Verwandte Suchanfragen zu Bernhard Gramlich
Dale Miller Konstantin Korovin Karl Gmeiner | Thorben Schulz Linda Lehmann Holger Meid | Andreas Grothe Maren Block Klaus Beck |
Person "Gramlich" (4) Vorname "Bernhard" (29753) Name "Gramlich" (515) |
sortiert nach Relevanz / Datum