Works matching DE "REWRITING systems (Computer science)"
Results: 85
LARS: A learning algorithm for rewriting systems.
- Published in:
- Machine Learning, 2007, v. 66, n. 1, p. 7, doi. 10.1007/s10994-006-9593-8
- By:
- Publication type:
- Article
Multi-level modelling via stochastic multi-level multiset rewriting.
- Published in:
- Mathematical Structures in Computer Science, 2013, v. 23, n. 2, p. 471, doi. 10.1017/S0960129512000199
- By:
- Publication type:
- Article
Open-graphs and monoidal theories.
- Published in:
- Mathematical Structures in Computer Science, 2013, v. 23, n. 2, p. 308, doi. 10.1017/S0960129512000138
- By:
- Publication type:
- Article
Rewriting systems for the surface classification theorem.
- Published in:
- Mathematical Structures in Computer Science, 2010, v. 20, n. 4, p. 577, doi. 10.1017/S0960129510000101
- By:
- Publication type:
- Article
Prefix probabilities for linear context-free rewriting systems.
- Published in:
- Journal of Logic & Computation, 2014, v. 24, n. 2, p. 331, doi. 10.1093/logcom/exs081
- By:
- Publication type:
- Article
A uniform model for almost convexity and rewriting systems.
- Published in:
- Journal of Group Theory, 2015, v. 18, n. 5, p. 805, doi. 10.1515/jgth-2015-0011
- By:
- Publication type:
- Article
Rewriting Minimizations for Efficient Query Answering over Ontologies.
- Published in:
- International Journal on Artificial Intelligence Tools, 2017, v. 26, n. 5, p. -1, doi. 10.1142/S0218213017600247
- By:
- Publication type:
- Article
REWRITING SYSTEMS AND ORDERINGS ON ARTIN MONOIDS.
- Published in:
- International Journal of Algebra & Computation, 2007, v. 17, n. 1, p. 61, doi. 10.1142/S0218196707003482
- By:
- Publication type:
- Article
COMPLETE REWRITING SYSTEMS FOR CODIFIED SUBMONOIDS.
- Published in:
- International Journal of Algebra & Computation, 2005, v. 15, n. 2, p. 207, doi. 10.1142/S0218196705002220
- By:
- Publication type:
- Article
FINITENESS CONDITIONS FOR REWRITING SYSTEMS.
- Published in:
- International Journal of Algebra & Computation, 2005, v. 15, n. 1, p. 175, doi. 10.1142/S0218196705002074
- By:
- Publication type:
- Article
Rewriting Higher-Order Stack Trees.
- Published in:
- Theory of Computing Systems, 2017, v. 61, n. 2, p. 536, doi. 10.1007/s00224-017-9769-6
- By:
- Publication type:
- Article
Reachability Problems on Regular Ground Tree Rewriting Graphs.
- Published in:
- Theory of Computing Systems, 2006, v. 39, n. 2, p. 347, doi. 10.1007/s00224-004-1170-6
- By:
- Publication type:
- Article
Verification of Complex Real-time Systems Using Rewriting Logic.
- Published in:
- Journal of Computing & Information Technology, 2009, v. 17, n. 3, p. 265, doi. 10.2498/cit.1001272
- By:
- Publication type:
- Article
Free operated monoids and rewriting systems.
- Published in:
- Semigroup Forum, 2018, v. 97, n. 3, p. 435, doi. 10.1007/s00233-018-9939-0
- By:
- Publication type:
- Article
Finitely presented monoids with linear Dehn function need not have regular cross-sections.
- Published in:
- Semigroup Forum, 2014, v. 88, n. 2, p. 300, doi. 10.1007/s00233-013-9531-6
- By:
- Publication type:
- Article
Reductions for vector ( n, m)-presentations of ( n, m)-semigroups.
- Published in:
- Semigroup Forum, 2013, v. 86, n. 3, p. 663, doi. 10.1007/s00233-012-9452-9
- By:
- Publication type:
- Article
HANDLING NON LEFT-LINEAR RULES WHEN COMPLETING TREE AUTOMATA.
- Published in:
- International Journal of Foundations of Computer Science, 2009, v. 20, n. 5, p. 837, doi. 10.1142/S0129054109006917
- By:
- Publication type:
- Article
ANTIMIROV AND MOSSES'S REWRITE SYSTEM REVISITED.
- Published in:
- International Journal of Foundations of Computer Science, 2009, v. 20, n. 4, p. 669, doi. 10.1142/S0129054109006802
- By:
- Publication type:
- Article
REWRITING LOGIC-BASED SEMANTICS OF P SYSTEMS AND THE MAXIMAL CONCURRENCY.
- Published in:
- International Journal of Foundations of Computer Science, 2009, v. 20, n. 3, p. 395, doi. 10.1142/S0129054109006644
- By:
- Publication type:
- Article
TERMINATION OF ABSTRACT REDUCTION SYSTEMS.
- Published in:
- International Journal of Foundations of Computer Science, 2009, v. 20, n. 1, p. 57, doi. 10.1142/S0129054109006450
- By:
- Publication type:
- Article
P SYSTEMS WITH SINGLE PASSENGER CARRIERS.
- Published in:
- International Journal of Foundations of Computer Science, 2007, v. 18, n. 6, p. 1227, doi. 10.1142/S0129054107005273
- By:
- Publication type:
- Article
CONTEXT-FREE GRAMMARS WITH LINKED NONTERMINALS.
- Published in:
- International Journal of Foundations of Computer Science, 2007, v. 18, n. 6, p. 1271, doi. 10.1142/S0129054107005315
- By:
- Publication type:
- Article
COOPERATING DISTRIBUTED SYSTEMS OF RESTARTING AUTOMATA.
- Published in:
- International Journal of Foundations of Computer Science, 2007, v. 18, n. 6, p. 1333, doi. 10.1142/S0129054107005376
- By:
- Publication type:
- Article
AMBIGUITY BY RESTARTING AUTOMATA.
- Published in:
- International Journal of Foundations of Computer Science, 2007, v. 18, n. 6, p. 1343
- By:
- Publication type:
- Article
TWO RELATED ALGORITHMS FOR ROOT-TO-FRONTIER TREE PATTERN MATCHING.
- Published in:
- International Journal of Foundations of Computer Science, 2006, v. 17, n. 6, p. 1253, doi. 10.1142/S012905410600439X
- By:
- Publication type:
- Article
GENERATION OF LANGUAGES BY REWRITING SYSTEMS THAT RESEMBLE AUTOMATA.
- Published in:
- International Journal of Foundations of Computer Science, 2006, v. 17, n. 5, p. 1223
- By:
- Publication type:
- Article
FINDING FINITE AUTOMATA THAT CERTIFY TERMINATION OF STRING REWRITING SYSTEMS.
- Published in:
- International Journal of Foundations of Computer Science, 2005, v. 16, n. 3, p. 471, doi. 10.1142/S0129054105003108
- By:
- Publication type:
- Article
PROBABILISTIC REWRITING P SYSTEMS.
- Published in:
- International Journal of Foundations of Computer Science, 2003, v. 14, n. 1, p. 157, doi. 10.1142/S0129054103001649
- By:
- Publication type:
- Article
Size-based termination of higher-order rewriting.
- Published in:
- Journal of Functional Programming, 2018, v. 28, p. N.PAG, doi. 10.1017/S0956796818000072
- By:
- Publication type:
- Article
On the Logic of β -pregroups.
- Published in:
- Studia Logica, 2007, v. 87, n. 2/3, p. 323
- By:
- Publication type:
- Article
Markov and Artin Normal Form Theorem for Braid Groups.
- Published in:
- Communications in Algebra, 2007, v. 35, n. 7, p. 2105, doi. 10.1080/00927870701302115
- By:
- Publication type:
- Article
Structured Operational Semantics for Graph Rewriting.
- Published in:
- Scientific Annals of Computer Science, 2012, v. 22, n. 1, p. 105, doi. 10.7561/SACS.2012.1.105
- By:
- Publication type:
- Article
PROOF SCORE APPROACH TO ANALYSIS OF ELECTRONIC COMMERCE PROTOCOLS.
- Published in:
- International Journal of Software Engineering & Knowledge Engineering, 2010, v. 20, n. 2, p. 253, doi. 10.1142/S0218194010004712
- By:
- Publication type:
- Article
GROUP EXTENSIONS OVER INFINITE WORDS.
- Published in:
- International Journal of Foundations of Computer Science, 2012, v. 23, n. 5, p. 1001, doi. 10.1142/S0129054112400424
- By:
- Publication type:
- Article
P SYSTEMS AND TOPOLOGY:: SOME SUGGESTIONS FOR RESEARCH.
- Published in:
- International Journal of Foundations of Computer Science, 2011, v. 22, n. 1, p. 179, doi. 10.1142/S0129054111007939
- By:
- Publication type:
- Article
String Rewriting Systems and Finiteness Conditions for Monoids.
- Published in:
- Southeast Asian Bulletin of Mathematics, 2008, v. 32, n. 5, p. 999
- By:
- Publication type:
- Article
An energy-conserving approach for data formatting and trusted document exchange in resource-constrained networks.
- Published in:
- Knowledge & Information Systems, 2012, v. 32, n. 3, p. 559, doi. 10.1007/s10115-011-0450-0
- By:
- Publication type:
- Article
Automatically Checking an Implementation against Its Formal Specification.
- Published in:
- IEEE Transactions on Software Engineering, 2000, v. 26, n. 1, p. 55, doi. 10.1109/32.825766
- By:
- Publication type:
- Article
Hierarchical Petri net modelling of reconfigurable manufacturing systems with improved net rewriting systems.
- Published in:
- International Journal of Computer Integrated Manufacturing, 2009, v. 22, n. 2, p. 158, doi. 10.1080/09511920802014904
- By:
- Publication type:
- Article
Explicit substitutions calculi with one step Eta-reduction decided explicitly.
- Published in:
- Logic Journal of the IGPL, 2009, v. 17, n. 6, p. 697, doi. 10.1093/jigpal/jzp027
- By:
- Publication type:
- Article
the CARD cheat.
- Published in:
- EMedia Magazine, 2002, v. 15, n. 5, p. 6
- By:
- Publication type:
- Article
AUTHOR-READER INTERACTIONS IN THE AGE OF HYPERTEXTUAL AND MULTIMEDIA COMMUNICATION.
- Published in:
- Annals of the University of Oradea, Romanian Language & Literature Fascicule / Analele Universităţii din Oradea. Seria Filologie, Fascicula Limba şi Literatura Română, 2012, p. 9
- By:
- Publication type:
- Article
ON CONTEXT-FREE REWRITING WITH A SIMPLE RESTRICTION AND ITS COMPUTATIONAL COMPLETENESS.
- Published in:
- RAIRO - Theoretical Informatics & Applications, 2009, v. 43, n. 2, p. 365, doi. 10.1051/ita/2009002
- By:
- Publication type:
- Article
THE LANGUAGE OF STRATIFIED SETS IS CONFLUENT AND STRONGLY NORMALISING.
- Published in:
- Logical Methods in Computer Science (LMCS), 2018, v. 14, n. 2, p. 1, doi. 10.23638/LMCS-14(2:12)2018
- By:
- Publication type:
- Article
Evaluating Irredundant Maximal Contained Rewritings for XPath Queries on Views.
- Published in:
- Computer Journal, 2014, v. 57, n. 11, p. 1674, doi. 10.1093/comjnl/bxt091
- By:
- Publication type:
- Article
Turning GSOS Rules into Equations for Linear Time-Branching Time Semantics.
- Published in:
- Computer Journal, 2013, v. 56, n. 1, p. 34, doi. 10.1093/comjnl/bxs120
- By:
- Publication type:
- Article
Review: Book Review.
- Published in:
- 1998
- By:
- Publication type:
- Book Review
Lazy Functional Programs in a Concurrent Environment.
- Published in:
- Computer Journal, 1997, v. 40, n. 9, p. 572, doi. 10.1093/comjnl/40.9.572
- By:
- Publication type:
- Article
Formal specification and analysis of functional properties of graph rewriting-based model transformation.
- Published in:
- Software Testing: Verification & Reliability, 2013, v. 23, n. 5, p. 405, doi. 10.1002/stvr.1502
- By:
- Publication type:
- Article
PORGY: A Visual Graph Rewriting Environment for Complex Systems.
- Published in:
- Computer Graphics Forum, 2012, v. 31, n. 3pt4, p. 1265, doi. 10.1111/j.1467-8659.2012.03119.x
- By:
- Publication type:
- Article