Found: 82
Select item for more details and to access through your institution.
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
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
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
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
Inspecting Maude variants with GLINTS.
- Published in:
- Theory & Practice of Logic Programming, 2017, v. 17, n. 5/6, p. 689, doi. 10.1017/S147106841700031X
- 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
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
Models in simulation.
- Published in:
- 2016
- By:
- Publication type:
- Editorial
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
AC-KBO revisited.
- Published in:
- Theory & Practice of Logic Programming, 2016, v. 16, n. 2, p. 163, doi. 10.1017/S1471068415000083
- 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
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
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
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
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
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
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
On Proving Operational Termination Incrementally with Modular Conditional Dependency Pairs.
- Published in:
- IAENG International Journal of Computer Science, 2013, v. 40, n. 2, p. 117
- 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
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
Developments in Networks of Evolutionary Processors.
- Published in:
- Computer Science Journal of Moldova, 2013, v. 21, n. 1, p. 3
- 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
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
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
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
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
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
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
Self-Stabilization in Membrane Systems.
- Published in:
- Computer Science Journal of Moldova, 2012, v. 20, n. 2, p. 133
- 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
Diagrammatic confluence for Constraint Handling Rules.
- Published in:
- Theory & Practice of Logic Programming, 2012, v. 12, n. 4/5, p. 737, doi. 10.1017/S1471068412000270
- 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
Widening techniques for regular tree model checking.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2012, v. 14, n. 2, p. 145, doi. 10.1007/s10009-011-0208-8
- 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
Concurrent goal-based execution of Constraint Handling Rules.
- Published in:
- Theory & Practice of Logic Programming, 2011, v. 11, n. 6, p. 841, doi. 10.1017/S147106841000044X
- By:
- Publication type:
- Article
Gardening Your Architecture, Part 2: Reengineering and Rewriting.
- Published in:
- IEEE Software, 2011, v. 28, n. 5, p. 21, doi. 10.1109/MS.2011.97
- 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
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
Using Meta-Structures in Database Design.
- Published in:
- Informatica (03505596), 2010, v. 34, n. 3, p. 387
- 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
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
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
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
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
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
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
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
Paramodulation with Well-founded Orderings.
- Published in:
- Journal of Logic & Computation, 2009, v. 19, n. 2, p. 263
- By:
- Publication type:
- Article