Works matching DE "REWRITING systems (Computer science)"
Results: 85
Enhanced graph rewriting systems for complex software domains.
- Published in:
- Software & Systems Modeling, 2016, v. 15, n. 3, p. 685, doi. 10.1007/s10270-014-0433-1
- By:
- Publication type:
- Article
Models in simulation.
- Published in:
- 2016
- By:
- Publication type:
- Editorial
A modular timed graph transformation language for simulation-based design.
- Published in:
- Software & Systems Modeling, 2013, v. 12, n. 2, p. 387, doi. 10.1007/s10270-011-0205-0
- By:
- Publication type:
- Article
On Analysis of Boundness Property for ECATNets by Using Logic of Concurrency.
- Published in:
- International Review on Computers & Software, 2008, v. 3, n. 5, p. 492
- By:
- Publication type:
- Article
Parsing Linear Context-Free Rewriting Systems with Fast Matrix Multiplication.
- Published in:
- Computational Linguistics, 2016, v. 42, n. 3, p. 421, doi. 10.1162/COLI_a_00254
- 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
On the Logic of β -pregroups.
- Published in:
- Studia Logica, 2007, v. 87, n. 2/3, p. 323
- By:
- Publication type:
- Article
Software Reuse in Product Populations.
- Published in:
- IEEE Transactions on Software Engineering, 2005, v. 31, n. 7, p. 537, doi. 10.1109/TSE.2005.84
- 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
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
Indexing Ordered Trees for (Nonlinear) Tree Pattern Matching by Pushdown Automata.
- Published in:
- Computer Science & Information Systems, 2012, v. 9, n. 3, p. 1125, doi. 10.2298/CSIS111220024T
- 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
Automating the database schema evolution process.
- Published in:
- VLDB Journal International Journal on Very Large Data Bases, 2013, v. 22, n. 1, p. 73, doi. 10.1007/s00778-012-0302-x
- By:
- Publication type:
- Article
QFilter: rewriting insecure XML queries to secure ones using non-deterministic finite automata.
- Published in:
- VLDB Journal International Journal on Very Large Data Bases, 2011, v. 20, n. 3, p. 397, doi. 10.1007/s00778-010-0202-x
- By:
- Publication type:
- Article
CONTEXT-FREE REWRITING SYSTEMS AND WORD-HYPERBOLIC STRUCTURES WITH UNIQUENESS.
- Published in:
- International Journal of Algebra & Computation, 2012, v. 22, n. 7, p. -1, doi. 10.1142/S0218196712500610
- By:
- Publication type:
- Article
MONOIDS PRESENTED BY REWRITING SYSTEMS AND AUTOMATIC STRUCTURES FOR THEIR SUBMONOIDS.
- Published in:
- International Journal of Algebra & Computation, 2009, v. 19, n. 6, p. 771, doi. 10.1142/S0218196709005317
- 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
Relative locations of subwords in free operated semigroups and Motzkin words.
- Published in:
- Frontiers of Mathematics in China, 2015, v. 10, n. 5, p. 1243, doi. 10.1007/s11464-014-0379-1
- By:
- Publication type:
- Article
the CARD cheat.
- Published in:
- EMedia Magazine, 2002, v. 15, n. 5, p. 6
- 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
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
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
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
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
P-99: Increasing Rewriting Speed of Optically Rewritable E-Paper by Electric Field.
- Published in:
- SID Symposium Digest of Technical Papers, 2015, v. 46, n. 1, p. 1531, doi. 10.1002/sdtp.10073
- 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
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
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
LIVENESS VERIFICATION IN TRSS USING TREE AUTOMATA AND TERMINATION ANALYSIS.
- Published in:
- Computing & Informatics, 2010, v. 29, n. 3, p. 407
- 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
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
Membrane Calculus: a formal method for Grid transactions.
- Published in:
- Concurrency & Computation: Practice & Experience, 2006, v. 18, n. 14, p. 1799, doi. 10.1002/cpe.1030
- By:
- Publication type:
- Article
Term rewriting and its application to recognizing handwritten Hindu numerals.
- Published in:
- Journal of Experimental & Theoretical Artificial Intelligence, 2001, v. 13, n. 3, p. 271, doi. 10.1080/09528130110063119
- 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
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