|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 2430 occurrences of 1145 keywords
|
|
|
Results
Found 6549 publication records. Showing 6549 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
27 | Artiom Alhazov, Dragos Sburlan |
Ultimately Confluent Rewriting Systems. Parallel Multiset-Rewriting with Permitting or Forbidding Contexts. |
Workshop on Membrane Computing |
2004 |
DBLP DOI BibTeX RDF |
|
27 | Jeroen Ketema |
Böhm-Like Trees for Term Rewriting Systems. |
RTA |
2004 |
DBLP DOI BibTeX RDF |
|
27 | Neil Ghani, Anne Heyworth |
A Rewriting Alternative to Reidemeister-Schreier. |
RTA |
2003 |
DBLP DOI BibTeX RDF |
|
27 | Steven Eker |
Associative-Commutative Rewriting on Large Terms. |
RTA |
2003 |
DBLP DOI BibTeX RDF |
|
27 | Jürgen Giesl, Hans Zantema |
Liveness in Rewriting. |
RTA |
2003 |
DBLP DOI BibTeX RDF |
|
27 | Hitoshi Ohsaki, Hiroyuki Seki, Toshinori Takai |
Recognizing Boolean Closed A-Tree Languages with Membership Conditional Rewriting Mechanism. |
RTA |
2003 |
DBLP DOI BibTeX RDF |
|
27 | Adam Granicz, Daniel M. Zimmerman, Jason Hickey |
Rewriting UNITY. |
RTA |
2003 |
DBLP DOI BibTeX RDF |
|
27 | Irène Durand |
Autowrite: A Tool for Checking Properties of Term Rewriting Systems. |
RTA |
2002 |
DBLP DOI BibTeX RDF |
|
27 | Hiroyuki Seki, Toshinori Takai, Youhei Fujinaka, Yuichi Kaji |
Layered Transducing Term Rewriting System and Its Recognizability Preserving Property. |
RTA |
2002 |
DBLP DOI BibTeX RDF |
|
27 | Petr Sosík, Rudolf Freund |
String Rewriting Sequential P-Systems and Regulated Rewriting. |
Developments in Language Theory |
2001 |
DBLP DOI BibTeX RDF |
|
27 | Michio Oyamaguchi, Yoshikatsu Ohta |
The Unification Problem for Confluent Right-Ground Term Rewriting Systems. |
RTA |
2001 |
DBLP DOI BibTeX RDF |
|
27 | Femke van Raamsdonk |
On Termination of Higher-Order Rewriting. |
RTA |
2001 |
DBLP DOI BibTeX RDF |
|
27 | Jürgen Stuber |
Deriving Theory Superposition Calculi from Convergent Term Rewriting Systems. |
RTA |
2000 |
DBLP DOI BibTeX RDF |
|
27 | Anne-Cécile Caron, Franck Seynhaeve, Sophie Tison, Marc Tommasi |
Deciding the Satisfiability of Quantifier free Formulae on One-Step Rewriting. |
RTA |
1999 |
DBLP DOI BibTeX RDF |
|
27 | Vincent van Oostrom |
Normalisation in Weakly Orthogonal Rewriting. |
RTA |
1999 |
DBLP DOI BibTeX RDF |
|
27 | Sébastien Limet, Pierre Réty |
A New Result about the Decidability of the Existential One-Step Rewriting Theory. |
RTA |
1999 |
DBLP DOI BibTeX RDF |
|
27 | Rakesh M. Verma, Michaël Rusinowitch, Denis Lugiez |
Algorithms and Reductions for Rewriting Problems. |
RTA |
1998 |
DBLP DOI BibTeX RDF |
|
27 | Sergei G. Vorobyov |
The First-Order Theory of One Step Rewriting in Linear Noetherian Systems is Undecidable. |
RTA |
1997 |
DBLP DOI BibTeX RDF |
|
27 | Michio Oyamaguchi, Yoshikatsu Ohta |
A New Parallel Closed Condition for Church-Rossser of Left-Linear Term Rewriting Systems. |
RTA |
1997 |
DBLP DOI BibTeX RDF |
|
27 | Yuri V. Matiyasevich |
On Some Mathematical Logic Contributions to Rewriting Techniques: Lost Heritage (Abstract). |
RTA |
1995 |
DBLP DOI BibTeX RDF |
|
27 | Richard J. Boulton |
A Restricted Form on Higher-Order Rewriting Applied to an HDL Semantics. |
RTA |
1995 |
DBLP DOI BibTeX RDF |
|
27 | Mark E. Stickel, Hantao Zhang 0001 |
Studying Quasigroup Identities by Rewriting Techniques: Problems and First Results. |
RTA |
1995 |
DBLP DOI BibTeX RDF |
|
27 | Zurab Khasidashvili |
Optimal Normalization in Orthogonal Term Rewriting Systems. |
RTA |
1993 |
DBLP DOI BibTeX RDF |
|
27 | Gregory Kucherov |
On Relationship Between Term Rewriting Systems and Regular Tree Languages. |
RTA |
1991 |
DBLP DOI BibTeX RDF |
|
27 | Naomi Lindenstrauss |
A Parallel Implementation of Rewriting and Narrowing. |
RTA |
1989 |
DBLP DOI BibTeX RDF |
|
27 | Craig C. Squier, Friedrich Otto |
Th Word Problem for Finitely Presented Monoids and Finite Canonical Rewriting Systems. |
RTA |
1987 |
DBLP DOI BibTeX RDF |
|
27 | Jos C. M. Baeten, Jan A. Bergstra, Jan Willem Klop |
Term Rewriting Systems with Priorities. |
RTA |
1987 |
DBLP DOI BibTeX RDF |
|
27 | Leo Bachmair, Nachum Dershowitz |
Completion for Rewriting Modulo a Congruence. |
RTA |
1987 |
DBLP DOI BibTeX RDF |
|
27 | Christine Choppy, Stéphane Kaplan, Michèle Soria |
Algorithmic Complexity of Term Rewriting Systems. |
RTA |
1987 |
DBLP DOI BibTeX RDF |
|
27 | Stéphane Kaplan |
A Compiler for Conditional Term Rewriting Systems. |
RTA |
1987 |
DBLP DOI BibTeX RDF |
|
27 | Hassan Aït-Kaci |
Solving Type Equations by Graph Rewriting. |
RTA |
1985 |
DBLP DOI BibTeX RDF |
|
23 | Salvatore La Torre, P. Madhusudan, Gennaro Parlato |
An Infinite Automaton Characterization of Double Exponential Time. |
CSL |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Filippo Bonchi, Fabio Gadducci, Tobias Heindel |
Parallel and Sequential Independence for Borrowed Contexts. |
ICGT |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Young Kil Kim, Munpyo Hong, Sang-Kyu Park |
CL-Guided Korean-English MT System for Scientific Papers. |
CICLing |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Isabelle Gnaedig |
Induction for positive almost sure termination. |
PPDP |
2007 |
DBLP DOI BibTeX RDF |
constraint, probability, abstraction, termination, narrowing |
23 | John R. W. Glauert, Delia Kesner, Zurab Khasidashvili |
Expression Reduction Systems and Extensions: An Overview. |
Processes, Terms and Cycles |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Foto N. Afrati, Rada Chirkova |
Selecting and Using Views to Compute Aggregate Queries (Extended Abstract). |
ICDT |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Guillem Godoy, Ashish Tiwari 0001 |
Confluence of Shallow Right-Linear Rewrite Systems. |
CSL |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner |
A Proof of Weak Termination Providing the Right Way to Terminate. |
ICTAC |
2004 |
DBLP DOI BibTeX RDF |
|
23 | Maribel Fernández |
Workshop TERMGRAPH 2004. |
ICGT |
2004 |
DBLP DOI BibTeX RDF |
|
23 | Daniel J. Abadi, Mitch Cherniack |
Visual COKO: a debugger for query optimizer development. |
SIGMOD Conference |
2002 |
DBLP DOI BibTeX RDF |
|
23 | Prasenjit Mitra |
An algorithm for answering queries efficiently using views. |
ADC |
2001 |
DBLP DOI BibTeX RDF |
|
23 | Gösta Grahne, Alex Thomo |
Algebraic Rewritings for Optimizing Regular Path Queries. |
ICDT |
2001 |
DBLP DOI BibTeX RDF |
|
23 | Sergio Antoy, Aart Middeldorp |
A Sequential Reduction Strategy. |
ALP |
1994 |
DBLP DOI BibTeX RDF |
|
23 | Dale Miller 0001 |
Specifications Using Multiple-Conclusion Logic Programs. |
PLILP |
1994 |
DBLP DOI BibTeX RDF |
|
23 | Juan Carlos González Moreno, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo |
Denotational Versus Declarative Semantics for Functional Programming. |
CSL |
1991 |
DBLP DOI BibTeX RDF |
|
23 | Mitsuhiro Okada |
Strong Normalizability for the Combined System of the Typed lambda Calculus and an Arbitrary Convergent Term Rewrite System. |
ISSAC |
1989 |
DBLP DOI BibTeX RDF |
|
23 | María Alpuente, Demis Ballis, Michele Baggi, Moreno Falaschi |
A fold/unfold transformation framework for rewrite theories extended to CCT. |
PEPM |
2010 |
DBLP DOI BibTeX RDF |
code carrying theory, fold/unfold transformation, rewriting logic |
23 | Klaus-Dieter Schewe, Bernhard Thalheim, Qing Wang 0002 |
Customising Web Information Systems According to User Preferences. |
World Wide Web |
2009 |
DBLP DOI BibTeX RDF |
critical pair completion, media type, deontic constraint, preference rule, termination, term rewriting, personalisation, web information system, Church-Rosser property, Kleene algebra with tests |
23 | Francisco Javier López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández |
A flexible framework for programming with non-deterministicfunctions. |
PEPM |
2009 |
DBLP DOI BibTeX RDF |
call-time choice, local bindings, non-deterministic functions, run-time-choice, term rewriting systems |
23 | Francisco Durán 0001, Salvador Lucas, Claude Marché, José Meseguer 0001, Xavier Urbain |
Proving operational termination of membership equational programs. |
High. Order Symb. Comput. |
2008 |
DBLP DOI BibTeX RDF |
Conditional term rewriting, Operational termination, Declarative rule-based languages, Program transformation, Membership equational logic |
23 | Khalil Djelloul |
Combination of decomposability and propagation for solving first-order constraints in decomposable theories. |
SAC |
2008 |
DBLP DOI BibTeX RDF |
complete theory, first-order constraint satisfaction problems, first-order constraint solvers, first-order constraints, rewriting rules |
23 | Yuan Ni, Chee Yong Chan |
Dissemination of heterogeneous xml data. |
WWW |
2008 |
DBLP DOI BibTeX RDF |
data rewriting, heterogeneous, xml, dissemination |
23 | Carolyn L. Talcott |
Pathway Logic. |
SFM |
2008 |
DBLP DOI BibTeX RDF |
Symbolic systems biology, Pathway Logic, Epidermal Growth Factor signaling, rewriting logic, signal transduction |
23 | Hilderick A. van der Meiden, Willem F. Bronsvoort |
Solving Systems of 3D Geometric Constraints with Non-rigid Clusters. |
GMP |
2008 |
DBLP DOI BibTeX RDF |
clusters, rewriting, Geometric constraint solving, rigidity |
23 | Julien Forest, Delia Kesner |
Expression Reduction Systems with Patterns. |
J. Autom. Reason. |
2007 |
DBLP DOI BibTeX RDF |
Expression reduction systems, Higher-order rewriting, Pattern matching |
23 | Carolyn L. Talcott, David L. Dill |
Multiple Representations of Biological Processes. |
Trans. Comp. Sys. Biology |
2006 |
DBLP DOI BibTeX RDF |
biological process, Pathway Logic, Petri Net, Rewriting Logic, Signal transduction |
23 | Sara Cohen |
User-defined aggregate functions: bridging theory and practice. |
SIGMOD Conference |
2006 |
DBLP DOI BibTeX RDF |
query optimization, query rewriting, view maintenance, aggregate queries |
23 | Fabio Gadducci, Ugo Montanari |
Graph Processes with Fusions: Concurrency by Colimits, Again. |
Formal Methods in Software and Systems Modeling |
2005 |
DBLP DOI BibTeX RDF |
dpo rewriting, concurrent semantics, process calculi |
23 | Dimitri Theodoratos, Wugang Xu |
Constructing search spaces for materialized view selection. |
DOLAP |
2004 |
DBLP DOI BibTeX RDF |
data warehouse and repository design, query, query rewriting, materialized view, common subexpression, query graph |
23 | Walter Binder, Jarle Hulaas |
Extending Standard Java Runtime Systems for Resource Management. |
SEM |
2004 |
DBLP DOI BibTeX RDF |
Bytecode rewriting, JDK, Java, program transformations, resource management |
23 | Sergio Greco |
Binding Propagation Techniques for the Optimization of Bound Disjunctive Queries. |
IEEE Trans. Knowl. Data Eng. |
2003 |
DBLP DOI BibTeX RDF |
Disjunctive databases, optimization, query rewriting |
23 | Roberto M. Amadio |
Max-Plus Quasi-interpretations. |
TLCA |
2003 |
DBLP DOI BibTeX RDF |
Functional languages and term rewriting, Function algebras and implicit computational complexity, Polynomial interpretations and max-plus algebras, Static analysis |
23 | Faiza Belala, Mohamed Bettaz |
A Natural Semantic Framework for ECATNets. |
Appl. Categorical Struct. |
2002 |
DBLP DOI BibTeX RDF |
ECATNets, concurrent systems, category theory, rewriting logic |
23 | Alberto Verdejo |
Building Tools for LOTOS Symbolic Semantics in Maude. |
FORTE |
2002 |
DBLP DOI BibTeX RDF |
Full LOTOS, symbolic semantics, rewriting logic, Maude, meta-language |
23 | Takehiko Yoshimi |
Improvement of Translation Quality of English Newspaper Headlines by Automatic Pre-editing. |
Mach. Transl. |
2001 |
DBLP DOI BibTeX RDF |
automatic pre-editing, headline, news article, rule-based MT, rewriting |
23 | Georg Struth |
Calculating Church-Rosser Proofs in Kleene Algebra. |
RelMiCS |
2001 |
DBLP DOI BibTeX RDF |
$lambda$-calculus, Church-Rosser theorem, rewriting, Kleene algebra, formal mathematics |
23 | Isabel Oitavem |
Implicit Characterizations of Pspace. |
Proof Theory in Computer Science |
2001 |
DBLP DOI BibTeX RDF |
implicit characterizations, computational complexity, term rewriting, Pspace |
23 | Valérie Gouranton, Pierre Réty, Helmut Seidl |
Synchronized Tree Languages Revisited and New Applications. |
FoSSaCS |
2001 |
DBLP DOI BibTeX RDF |
tree-tuple language, concurrency, rewriting |
23 | Zinovy Diskin |
On Mathematical Foundations for Business Modeling (Presented at TOOLS-USA 2000). |
TOOLS (37) |
2000 |
DBLP DOI BibTeX RDF |
business domains, toposes, generalized sketch, predefined signature, visualization superstructures, business specifications, logical derivation, algebraic term rewriting, systems analysis, directed graphs, directed graph, business modeling, diagrams, diagrams, labels, predicate, corporate modelling, mathematical foundations |
23 | Yan-Nong Huang, Ming-Chien Shan |
Policy-Based Resource Management. |
CAiSE |
1999 |
DBLP DOI BibTeX RDF |
Interval-Based, Workflow, Policy, Query Rewriting, Resource |
23 | Wan J. Fokkink, Jasper Kamperman, Pum Walters |
Within ARM's Reach: Compilation of Left-Linear Rewrite Systems via Minimal Rewrite Systems. |
ACM Trans. Program. Lang. Syst. |
1998 |
DBLP DOI BibTeX RDF |
specificity ordering, automata, term rewriting, abstract machine |
23 | Alfons Geser |
An Improved General Path Order. |
Appl. Algebra Eng. Commun. Comput. |
1996 |
DBLP DOI BibTeX RDF |
Semantic path ordering, General path ordering, Termination, Term rewriting system |
23 | Dominique Michelucci |
Isometry group, words and proofs of geometric theorems. |
SAC |
2008 |
DBLP DOI BibTeX RDF |
Knuth-Bendix, orthogonal symmetries group, rewriting methods, groups, geometry, rewriting, words, isometry, involution |
23 | Dieter Hofbauer |
Termination Proofs for Ground Rewrite Systems - Interpretations and Derivational Complexity. |
Appl. Algebra Eng. Commun. Comput. |
2001 |
DBLP DOI BibTeX RDF |
Ground rewriting, Termination proofs, Derivational complexity, Term rewriting systems |
23 | Alfons Geser, Wolfgang Küchlin |
Structured Formal Verification of a Fragment of the IBM S/390 Clock Chip |
FM-Trends |
1998 |
DBLP DOI BibTeX RDF |
List of Keywords propositional satisfiability, functional decision diagram (FDD), formal hardware verification, term rewriting, term graph rewriting |
22 | Boris Glavic, Gustavo Alonso |
Perm: Processing Provenance and Data on the Same Data Model through Query Rewriting. |
ICDE |
2009 |
DBLP DOI BibTeX RDF |
|
22 | Kazunori Ueda, Takayuki Ayano, Taisuke Hori, Hiroki Iwasawa, Seiji Ogawa |
Hierarchical Graph Rewriting as a Unifying Tool for Analyzing and Understanding Nondeterministic Systems. |
ICTAC |
2009 |
DBLP DOI BibTeX RDF |
|
22 | Tetsutaro Motomura, Mizuho Iwaihara, Masatoshi Yoshikawa |
Query Rewriting Rules for Versioned XML Documents. |
DEXA |
2009 |
DBLP DOI BibTeX RDF |
|
22 | María Alpuente, Demis Ballis, Daniel Romero 0001 |
Specification and Verification of Web Applications in Rewriting Logic. |
FM |
2009 |
DBLP DOI BibTeX RDF |
|
22 | Leslie De Koninck, Gregory J. Duck, Peter J. Stuckey |
Demand-Driven Normalisation for ACD Term Rewriting. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
22 | Sergio Maffeis, John C. Mitchell, Ankur Taly |
Isolating JavaScript with Filters, Rewriting, and Wrappers. |
ESORICS |
2009 |
DBLP DOI BibTeX RDF |
|
22 | Jörg Endrullis, Herman Geuvers, Hans Zantema |
Degrees of Undecidability in Term Rewriting. |
CSL |
2009 |
DBLP DOI BibTeX RDF |
|
22 | Manuel Clavel, Francisco Durán 0001, Steven Eker, Santiago Escobar 0001, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott |
Unification and Narrowing in Maude 2.4. |
RTA |
2009 |
DBLP DOI BibTeX RDF |
|
22 | Felix Schernhammer, Bernhard Gramlich |
VMTL-A Modular Termination Laboratory. |
RTA |
2009 |
DBLP DOI BibTeX RDF |
|
22 | Jeroen Ketema |
Comparing Böhm-Like Trees. |
RTA |
2009 |
DBLP DOI BibTeX RDF |
|
22 | René Thiemann, Christian Sternagel |
Loops under Strategies. |
RTA |
2009 |
DBLP DOI BibTeX RDF |
|
22 | Andrew Walenstein, Rachit Mathur, Mohamed R. Chouchane, Arun Lakhotia |
Constructing malware normalizers using term rewriting. |
J. Comput. Virol. |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Alex Thomo, Srinivasan Venkatesh 0001 |
Rewriting of visibly pushdown languages for xml data integration. |
CIKM |
2008 |
DBLP DOI BibTeX RDF |
visibly pushdown languages, data integration, xml |
22 | Nan Tang 0001, Jeffrey Xu Yu, M. Tamer Özsu, Byron Choi, Kam-Fai Wong |
Multiple Materialized View Selection for XPath Query Rewriting. |
ICDE |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Junhu Wang, Jeffrey Xu Yu |
XPath Rewriting Using Multiple Views. |
DEXA |
2008 |
DBLP DOI BibTeX RDF |
|
22 | José Meseguer 0001 |
The Temporal Logic of Rewriting: A Gentle Introduction. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
|
22 | JunFeng Wu, HuaiKou Miao |
A Rewriting Logic Approach to OWL-S Composite Process Formal Specification. |
APSCC |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Lilong Han, Qingtang Liu, Zongkai Yang |
Dynamic Expression of Digital Rights by Rewriting License. |
CSSE (3) |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Nima Mohajerin, Nematollaah Shiri |
A Top-Down Approach to Rewriting Conjunctive Queries Using Views. |
SDKB |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Colin Riba |
Union of Reducibility Candidates for Orthogonal Constructor Rewriting. |
CiE |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Nishant Sinha 0001 |
Symbolic Program Analysis Using Term Rewriting and Generalization. |
FMCAD |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Malika Benammar, Faiza Belala, Fateh Latreche |
AADL behavioral annex based on generalized rewriting logic. |
RCIS |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Rodolfo Stecher, Claudia Niederée, Wolfgang Nejdl |
Query rewriting for lightweight information integration. |
ICDIM |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Christian Sternagel, Aart Middeldorp |
Root-Labeling. |
RTA |
2008 |
DBLP DOI BibTeX RDF |
|
Displaying result #501 - #600 of 6549 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ >>] |
|