Search results for "rewriting"

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