BigraphER: Rewriting and Analysis Engine for Bigraphs

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-319-41540-6_27
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer International Publishing

Related search

On Lions, Impala, and Bigraphs

ACM Transactions on Computer-Human Interaction
Human-Computer Interaction
2016English

Critical Pair Analysis in Nominal Rewriting

English

Type Introduction for Equational Rewriting

Acta Informatica
Computer NetworksSoftwareInformation SystemsCommunications
2000English

Congruences for Contextual Graph-Rewriting

BRICS Report Series
2004English

Context Term Calculus for Rewriting Systems

PROBLEMS IN PROGRAMMING
2018English

Simplification Orders for Term Graph Rewriting

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1997English

Feasible Trace Reconstruction for Rewriting Approximations

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Higher-Order Orderings for Normal Rewriting

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Engine Combustion: Pressure Measurement and Analysis

2010English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy