Analysis
Allemagne
Racine
Analysis
Allemagne
Exploration
Accueil
Racine
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine

Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.

Le cluster order - sorted

Terms

10order
4sorted
11rewriting
5term
3confluence
5conditional
2higher
6semantic

Associations

Freq.WeightAssociation
40.632order - sorted
40.539rewriting - term
20.516confluence - term
20.516conditional - confluence
30.452rewriting - sorted
20.447higher - order
20.408semantic - sorted
30.286order - rewriting
20.258order - semantic
20.246rewriting - semantic
Documents par ordre de pertinence
000550 (1993) Lars With [Allemagne]Completeness and confluence of order-sorted term rewriting
000501 (1998) A. Werner [Allemagne]A Semantic Approach to Order-sorted Rewriting
000552 (1993) Andreas Werner [Allemagne]A semantic approach to order-sorted rewriting
000581 (1987) Harald Ganzinger [Allemagne]Ground term confluence in parametric conditional equational specifications
000208 (2009) Michael Leuschel [Allemagne] ; Dominique Cansell [France] ; Michael Butler [Royaume-Uni]Validating and Animating Higher-Order Recursive Functions in B
000509 (1997) Alfons Geser [Allemagne]Omega-Termination is Undecidable for Totally Terminating Term Rewriting Systems
000521 (1996) Bernhard Gramlich [France] ; Claus-Peter Wirth [Allemagne]Confluence of terminating conditional rewrite systems revisited
000542 (1994) D. Hofbauer [Allemagne] ; M. Huber [France]Linearizing term rewriting systems using test sets
000574 (1989) Harald Ganzinger [Allemagne]Order-sorted completion: The many-sorted way
000576 (1988) J. Avenhaus [Allemagne] ; R. Göbel [Allemagne] ; B. Gramlich [Allemagne] ; K. Madlener [Allemagne] ; J. Steinbach [Allemagne]TRSPEC: A term rewriting based system for algebraic specifications
000580 (1988) Bernhard Möller [Allemagne] ; Andrzej Tarlecki ; Martin WirsingAlgebraic specifications of reachable higher-order algebras
000098 (2013) Christoph Wernhard [Allemagne]Abduction in Logic Programming as Second-Order Quantifier Elimination
000120 (2012) Florent Jacquemard [France] ; Étienne Lozes [France, Allemagne] ; Ralf Treinen [France] ; Jules Villard [France, Royaume-Uni]Multiple Congruence Relations, First-Order Theories on Terms, and the Frames of the Applied Pi-Calculus
000169 (2010) Ingo Weber [Australie] ; Joerg Hoffmann [France] ; Jan Mendling [Allemagne]Beyond Soundness: On the Verification of Semantic Business Process Models
000273 (2007-05) Nacer Boudjlida [France] ; Hervé Panetto [France] ; Salah Baïna [France] ; Claudia Diamantini [Italie] ; John Krogstie [Norvège] ; Yun Lin [Norvège] ; Joao Sarraipa [Portugal] ; Nabila Zouggar [France] ; Axel Hahn [Allemagne] ; Marco Delgado [Espagne] ; Miguel-Angel Abian [Espagne] ; Maria-José Nunez [Espagne]DTG4.2: Experimental Semantic Enrichment of Enterprise Models for Interoperability and its Practical Impact
000379 (2004) Bernd Löchner [Allemagne]A Redundancy Criterion Based on Ground Reducibility by Ordered Rewriting
000426 (2001) Jens Michaelis [Allemagne]Transforming Linear Context-Free Rewriting Systems into Minimalist Grammars
000468 (1999) Friedrich Otto [Allemagne]On the Connections between Rewriting and Formal Language Theory
000476 (1999) Manfred G X00f6 Bel [Allemagne]Fast Rewriting of Symmetric Polynomials
000520 (1996) Régis Curien [France] ; Zhenyu Qian [Allemagne] ; Hui Shi [Allemagne]Efficient second-order matching
000523 (1996) A. Geser [Allemagne]An Improved General Path Order
000548 (1993) Alexander Bockmayr [Allemagne]Conditional narrowing modulo a set of equations
000559 (1992) Andrea Sattler-Klein [Allemagne]Infinite, canonical string rewriting systems generated by completion
000561 (1992) Thomas Dei [Allemagne]Conditional semi-Thue systems for presenting monoids
000579 (1988) Hubert Bertling [Allemagne] ; Harald Ganzinger [Allemagne] ; Renate Sch Fers [Allemagne]CEC: A system for the completion of conditional equational specifications
000587 (1983) Harald Ganzinger [Allemagne]Modular compiler descriptions based on abstract semantic data types (Extended Abstract)
000593 (1982) Martin Wirsing [Allemagne] ; Manfred Broy [Allemagne]An Analysis of Semantic Models for Algebraic Specifications
Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022