Maribel Fernández

Gabriel Ferreira Silva

Daniele Nantes Sobrinho

Proceedings of the 7th International Conference on Formal Structures for Computation and Deduction, 2022

2021

Formalising nominal C-unification generalised with protected variables.

[BibT_eX]

[DOI]

Gabriel Ferreira Silva

Math. Struct. Comput. Sci., 2021

Nominal syntax with atom substitutions.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 2021

EVL: a typed functional language for event processing.

[BibT_eX]

[DOI]

Miguel Ramos

CoRR, 2021

Nominal Equational Problems.

[BibT_eX]

[DOI]

Deivid Vale

Proceedings of the Foundations of Software Science and Computation Structures, 2021

Graph-Based Specification of Admin-CBAC Policies.

[BibT_eX]

[DOI]

Proceedings of the CODASPY '21: Eleventh ACM Conference on Data and Application Security and Privacy, 2021

2020

On Nominal Syntax and Permutation Fixed Points.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2020

An Investigation into General Nominal Equational Problems (Work in progress).

[BibT_eX]

[DOI]

Deivid Vale

Proceedings of the 34th International Workshop on Unification, 2020

A Data Access Model for Privacy-Preserving Cloud-IoT Architectures.

[BibT_eX]

[DOI]

Alex Franch Tapia

Jenjira Jaimunk

Manuel Martinez Chamorro

Proceedings of the 25th ACM Symposium on Access Control Models and Technologies, 2020

Finding Candidate Keys and 3NF via Strategic Port Graph Rewriting.

[BibT_eX]

[DOI]

János Varga

Proceedings of the PPDP '20: 22nd International Symposium on Principles and Practice of Declarative Programming, 2020

EVL: A Typed Higher-order Functional Language for Events.

[BibT_eX]

[DOI]

Miguel Ramos

Proceedings of the 15th International Workshop on Logical and Semantic Frameworks with Applications, 2020

A Reversible Operational Semantics for Imperative Programming Languages.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2020

Admin-CBAC: An Administration Model for Category-Based Access Control.

[BibT_eX]

[DOI]

Proceedings of the CODASPY '20: Tenth ACM Conference on Data and Application Security and Privacy, 2020

2019

A formalisation of nominal α-equivalence with A, C, and AC function symbols.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2019

Strategic port graph rewriting: an interactive modelling framework.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2019

Preface to the Special Issue on Linearity.

[BibT_eX]

[DOI]

Iliano Cervesato

J. Autom. Reason., 2019

On Solving Nominal Disunification Constraints.

[BibT_eX]

[DOI]

Deivid Vale

Proceedings of the 14th Workshop on Logical and Semantic Frameworks with Applications, 2019

A Port Graph Rewriting Approach to Relational Database Modelling.

[BibT_eX]

[DOI]

János Varga

Proceedings of the Logic-Based Program Synthesis and Transformation, 2019

A Certified Functional Nominal C-Unification Algorithm.

[BibT_eX]

[DOI]

Gabriel Ferreira Silva

Proceedings of the Logic-Based Program Synthesis and Transformation, 2019

Privacy-Preserving Architecture for Cloud-IoT Platforms.

[BibT_eX]

[DOI]

Jenjira Jaimunk

Proceedings of the 2019 IEEE International Conference on Web Services, 2019

Nominal Syntax with Atom Substitutions: Matching, Unification, Rewriting.

[BibT_eX]

[DOI]

Proceedings of the Fundamentals of Computation Theory - 22nd International Symposium, 2019

Specification and Analysis of ABAC Policies via the Category-based Metamodel.

[BibT_eX]

[DOI]

Proceedings of the Ninth ACM Conference on Data and Application Security and Privacy, 2019

2018

Typed Nominal Rewriting.

[BibT_eX]

[DOI]

Elliot Fairweather

ACM Trans. Comput. Log., 2018

Nominal essential intersection types.

[BibT_eX]

[DOI]

Daniel Lima Ventura

Theor. Comput. Sci., 2018

Labelled graph strategic rewriting for social networks.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2018

A Formalisation of Nominal C-Matching through Unification with Protected Variables.

[BibT_eX]

[DOI]

Proceedings of the 13th Workshop on Logical and Semantic Frameworks with Applications, 2018

Towards a Privacy-Aware Qunatified Self Data Management Framework.

[BibT_eX]

[DOI]

Proceedings of the 23nd ACM on Symposium on Access Control Models and Technologies, 2018

Fixed-Point Constraints for Nominal Equational Unification.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Conference on Formal Structures for Computation and Deduction, 2018

Graph-Based Data-Collection Policies for the Internet of Things.

[BibT_eX]

[DOI]

Jenjira Jaimunk

Proceedings of the 4th Annual Industrial Control System Security Workshop, 2018

2017

Intruder deduction problem for locally stable theories with normal forms and inverses.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2017

A graph-based framework for the analysis of access control policies.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2017

Labelled Port Graph - A Formal Structure for Models and Computations.

[BibT_eX]

[DOI]

Proceedings of the 12th Workshop on Logical and Semantic Frameworks, with Applications, 2017

Attributed Hierarchical Port Graphs and Applications.

[BibT_eX]

[DOI]

Nneka Chinelo Ene

Proceedings of the Proceedings Fourth International Workshop on Rewriting Techniques for Program Transformations and Evaluation, 2017

Nominal C-Unification.

[BibT_eX]

[DOI]

Proceedings of the Logic-Based Program Synthesis and Transformation, 2017

On Solving Nominal Fixpoint Equations.

[BibT_eX]

[DOI]

Proceedings of the Frontiers of Combining Systems - 11th International Symposium, 2017

PORGY : a Visual Analytics Platform for System Modelling and Analysis Based on Graph Rewriting.

[BibT_eX]

[DOI]

Proceedings of the 17ème Journées Francophones Extraction et Gestion des Connaissances, 2017

2016

A Formalisation of Nominal α-equivalence with A and AC Function Symbols.

[BibT_eX]

[DOI]

Proceedings of the 11th Workshop on Logical and Semantic Frameworks with Applications, 2016

Labelled Graph Rewriting Meets Social Networks.

[BibT_eX]

[DOI]

Proceedings of the Rewriting Logic and Its Applications - 11th International Workshop, 2016

Nominal Narrowing.

[BibT_eX]

[DOI]

Proceedings of the 1st International Conference on Formal Structures for Computation and Deduction, 2016

A Framework for Secure Data Collection and Management for Internet of Things.

[BibT_eX]

[DOI]

Murat Kantarcioglu

Proceedings of the 2nd Annual Industrial Control System Security Workshop, 2016

2015

Alpha-Structural Induction and Recursion for the Lambda Calculus in Constructive Type Theory.

[BibT_eX]

[DOI]

Proceedings of the Tenth Workshop on Logical and Semantic Frameworks, with Applications, 2015

Completeness in PVS of a Nominal Unification Algorithm.

[BibT_eX]

[DOI]

Proceedings of the Tenth Workshop on Logical and Semantic Frameworks, with Applications, 2015

Checking Overlaps of Nominal Rewriting Rules.

[BibT_eX]

[DOI]

Murdoch James Gabbay

Proceedings of the Tenth Workshop on Logical and Semantic Frameworks, with Applications, 2015

From nominal to higher-order rewriting and back again.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2015

Dependent Types for Nominal Terms with Atom Substitutions.

[BibT_eX]

[DOI]

Proceedings of the 13th International Conference on Typed Lambda Calculi and Applications, 2015

Enhancing the specification and verification techniques of multiparty sessions in SOC.

[BibT_eX]

[DOI]

Abeer S. Al-Humaimeedy

Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, 2015

A Typed Language for Events.

[BibT_eX]

[DOI]

Sabine Broda

Proceedings of the Logic-Based Program Synthesis and Transformation, 2015

2014

Programming Languages and Operational Semantics - A Concise Overview

[BibT_eX]

[DOI]

Undergraduate Topics in Computer Science, Springer, ISBN: 978-1-4471-6368-8, 2014

Labelled calculi of resources.

[BibT_eX]

[DOI]

Nikolaos Siafakas

J. Log. Comput., 2014

Linearity: A Roadmap.

[BibT_eX]

[DOI]

J. Log. Comput., 2014

A metamodel of access control for distributed environments: Applications and properties.

[BibT_eX]

[DOI]

Inf. Comput., 2014

A Framework for the Analysis of Access Control Policies with Emergency Management.

[BibT_eX]

[DOI]

Proceedings of the Ninth Workshop on Logical and Semantic Frameworks, with Applications, 2014

Enabling Synchronous and Asynchronous Communications in CSP for SOC.

[BibT_eX]

[DOI]

Abeer S. Al-Humaimeedy

Proceedings of the Ninth Workshop on Logical and Semantic Frameworks, with Applications, 2014

Strategic Port Graph Rewriting: An Interactive Modelling and Analysis Framework.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 3rd Workshop on GRAPH Inspection and Traversal Engineering, 2014

Static Enforcement of Role-Based Access Control.

[BibT_eX]

[DOI]

Asad Ali

Proceedings of the Proceedings 10th International Workshop on Automated Specification and Verification of Web Systems, 2014

Hybrid Enforcement of Category-Based Access Control.

[BibT_eX]

[DOI]

Asad Ali

Proceedings of the Security and Trust Management - 10th International Workshop, 2014

Towards Privacy-Preserving Web Metering via User-Centric Hardware.

[BibT_eX]

[DOI]

Fahad Alarifi

Proceedings of the International Conference on Security and Privacy in Communication Networks, 2014

Relating Nominal and Higher-Order Rewriting.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 2014, 2014

Access Control and Obligations in the Category-Based Metamodel: A Rewrite-Based Semantics.

[BibT_eX]

[DOI]

Anatoli Degtyarev

Proceedings of the Logic-Based Program Synthesis and Transformation, 2014

Visual Modelling of Complex Systems: Towards an Abstract Machine for PORGY.

[BibT_eX]

[DOI]

Proceedings of the Language, Life, Limits - 10th Conference on Computability in Europe, 2014

2013

Preface.

[BibT_eX]

[DOI]

Marcelo Finger

Proceedings of the 8th Workshop on Logical and Semantic Frameworks, 2013

Bigraphical Nets

[BibT_eX]

[DOI]

Matthew Walker

Proceedings of the Proceedings 7th International Workshop on Computing with Terms and Graphs, 2013

Assembling the Proofs of Ordered Model Transformations

[BibT_eX]

[DOI]

Jeffrey Terrell

Proceedings of the Proceedings 10th International Workshop on Formal Engineering Approaches to Software Components and Architectures, 2013

2012

Preface: Theory and Applications of Abstraction, Substitution and Naming.

[BibT_eX]

[DOI]

Christian Urban

J. Autom. Reason., 2012

Elementary Deduction Problem for Locally Stable Theories with Normal Forms

[BibT_eX]

[DOI]

Daniele Nantes Sobrinho

Proceedings of the Proceedings Seventh Workshop on Logical and Semantic Frameworks, 2012

Higher-order port-graph rewriting

[BibT_eX]

[DOI]

Sébastien Maulat

Proceedings of the Proceedings 2nd International Workshop on Linearity, 2012

General dynamic recovery for compensating CSP.

[BibT_eX]

[DOI]

Abeer S. Al-Humaimeedy

Proceedings of the Proceedings 8th International Workshop on Developments in Computational Models, 2012

Nominal Completion for Rewrite Systems with Binders.

[BibT_eX]

[DOI]

Albert Rubio

Proceedings of the Automata, Languages, and Programming - 39th International Colloquium, 2012

2011

A new graphical calculus of proofs

[BibT_eX]

[DOI]

Proceedings of the Proceedings 6th International Workshop on Computing with Terms and Graphs, 2011

PORGY: Strategy-Driven Interactive Transformation of Graphs

[BibT_eX]

[DOI]

Proceedings of the Proceedings 6th International Workshop on Computing with Terms and Graphs, 2011

Linearity and recursion in a typed Lambda-calculus.

[BibT_eX]

[DOI]

Proceedings of the 13th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2011

A Strategy Language for Graph Rewriting.

[BibT_eX]

[DOI]

Olivier Namet

Proceedings of the Logic-Based Program Synthesis and Transformation, 2011

Principal Types for Nominal Theories.

[BibT_eX]

[DOI]

Elliot Fairweather

Murdoch James Gabbay

Proceedings of the Fundamentals of Computation Theory - 18th International Symposium, 2011

2010

Gödel's system tau revisited.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2010

Linearity and iterator types for Gödel's System.

[BibT_eX]

[DOI]

High. Order Symb. Comput., 2010

Matching and alpha-equivalence check for nominal terms.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 2010

Strategic programming on graph rewriting systems

[BibT_eX]

[DOI]

Olivier Namet

Proceedings of the Proceedings International Workshop on Strategies in Rewriting, 2010

Closed nominal rewriting and efficiently computable nominal algebra equality

[BibT_eX]

[DOI]

Murdoch James Gabbay

Proceedings of the Proceedings 5th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice, 2010

Linear Recursion

[BibT_eX]

[DOI]

CoRR, 2010

Rewrite Specifications of Access Control Policies in Distributed Environments.

[BibT_eX]

[DOI]

Proceedings of the Security and Trust Management - 6th International Workshop, 2010

The First-Order Nominal Link.

[BibT_eX]

[DOI]

Proceedings of the Logic-Based Program Synthesis and Transformation, 2010

Category-Based Authorisation Models: Operational Semantics and Expressive Power.

[BibT_eX]

[DOI]

Proceedings of the Engineering Secure Software and Systems, Second International Symposium, 2010

2009

Models of Computation - An Introduction to Computability Theory.

[BibT_eX]

[DOI]

Undergraduate Topics in Computer Science, Springer, ISBN: 978-1-84882-434-8, 2009

Rewriting Corner.

[BibT_eX]

[DOI]

J. Log. Comput., 2009

Distributed event-based access control.

[BibT_eX]

[DOI]

Int. J. Inf. Comput. Secur., 2009

Recursive Functions with Pattern Matching in Interaction Nets.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Workshop on Computing with Terms and Graphs, 2009

Labelled Lambda-calculi with Explicit Copy and Erase

[BibT_eX]

[DOI]

Nikolaos Siafakas

Proceedings of the Proceedings First International Workshop on Linearity, 2009

Graph Creation, Visualisation and Transformation

[BibT_eX]

[DOI]

Olivier Namet

Proceedings of the Proceedings Tenth International Workshop on Rule-Based Programming, 2009

2008

A polynomial nominal unification algorithm.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2008

Rewriting calculi, higher-order reductions and patterns: introduction.

[BibT_eX]

[DOI]

Horatiu Cirstea

Math. Struct. Comput. Sci., 2008

Lambda Calculus, Type Theory, and Natural Language II.

[BibT_eX]

[DOI]

Chris Fox

Shalom Lappin

J. Log. Comput., 2008

New Developments in Environment Machines.

[BibT_eX]

[DOI]

Nikolaos Siafakas

Proceedings of the 8th International Workshop on Reduction Strategies in Rewriting and Programming, 2008

Action Control by Term Rewriting.

[BibT_eX]

[DOI]

Steve Barker

Proceedings of the Third International Workshop on Security and Rewriting Techniques, 2008

Nominal Matching and Alpha-Equivalence.

[BibT_eX]

[DOI]

Proceedings of the Logic, 2008

A rewriting framework for the composition of access control policies.

[BibT_eX]

[DOI]

Proceedings of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2008

Time and Location Based Services with Access Control.

[BibT_eX]

[DOI]

Proceedings of the NTMS 2008, 2008

An algebraic-functional framework for distributed access control.

[BibT_eX]

[DOI]

Proceedings of the CRiSIS '08, 2008

2007

More developments in computational models: introduction.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2007

Nominal rewriting.

[BibT_eX]

[DOI]

Inf. Comput., 2007

Iterator Types.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Science and Computational Structures, 2007

Dynamic Event-Based Access Control as Term Rewriting.

[BibT_eX]

[DOI]

Steve Barker

Proceedings of the Data and Applications Security XXI, 2007

Linear Recursive Functions.

[BibT_eX]

[DOI]

Proceedings of the Rewriting, 2007

2006

Developments in computational models: introduction.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2006

Preface.

[BibT_eX]

[DOI]

Ralf Lämmel

Proceedings of the 7th International Workshop on Rule Based Programming, 2006

Preface.

[BibT_eX]

[DOI]

Claude Kirchner

Proceedings of the First International Workshop on Security and Rewriting Techniques, 2006

From Functional Programs to Interaction Nets via the Rewriting Calculus.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Workshop on Reduction Strategies in Rewriting and Programming, 2006

Implementing Nominal Unification.

[BibT_eX]

[DOI]

Proceedings of the Third International Workshop on Term Graph Rewriting, 2006

The Power of Closed Reduction Strategies.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Workshop on Reduction Strategies in Rewriting and Programming, 2006

Curry-Style Types for Nominal Terms.

[BibT_eX]

[DOI]

Proceedings of the Types for Proofs and Programs, International Workshop, 2006

A historic functional and object-oriented calculus.

[BibT_eX]

[DOI]

Fabien Fleutot

Proceedings of the 8th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2006

Term Rewriting for Access Control.

[BibT_eX]

[DOI]

Steve Barker

Proceedings of the Data and Applications Security XX, 2006

The Power of Linear Functions.

[BibT_eX]

[DOI]

Proceedings of the Computer Science Logic, 20th International Workshop, 2006

2005

Closed reduction: explicit substitutions without alpha-conversion.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2005

Interaction Nets vs. the rho-calculus: Introducing Bigraphical Nets.

[BibT_eX]

[DOI]

Proceedings of the 12th Workshop on Expressiveness on Concurrency, 2005

Preface.

[BibT_eX]

[DOI]

Proceedings of the First International Workshop on Developments in Computational Models, 2005

Lambda-Calculus with Director Strings.

[BibT_eX]

[DOI]

Appl. Algebra Eng. Commun. Comput., 2005

Nominal rewriting with name generation: abstraction vs. locality.

[BibT_eX]

[DOI]

Proceedings of the 7th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2005

2004

Preface.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Workshop on Term Graph Rewriting, 2004

Nominal rewriting systems.

[BibT_eX]

[DOI]

Proceedings of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2004

Workshop TERMGRAPH 2004.

[BibT_eX]

[DOI]

Proceedings of the Graph Transformations, Second International Conference, 2004

Programming Languages and Operational Semantics.

[BibT_eX]

Texts in computing 1, College Publications, ISBN: 978-0-9543006-3-0, 2004

2003

Operational equivalence for interaction nets.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2003

Normalization, approximation, and semantics for combinator systems.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2003

Interaction Nets with McCarthy's amb: Properties and Applications.

[BibT_eX]

Lionel Khalil

Nord. J. Comput., 2003

Reduction Strategies for Program Extraction.

[BibT_eX]

[DOI]

CLEI Electron. J., 2003

Efficient Reductions with Director Strings.

[BibT_eX]

[DOI]

Proceedings of the Rewriting Techniques and Applications, 14th International Conference, 2003

2002

A Higher-Order Calculus for Graph Transformation.

[BibT_eX]

[DOI]

Jorge Sousa Pinto

Proceedings of the First International Workshop on Term Graph Rewriting, 2002

Interaction Nets with McCarthy's amb.

[BibT_eX]

[DOI]

Lionel Khalil

Proceedings of the 9th International Workshop on Expressiveness in Concurrency, 2002

An Operational Approach to Program Extraction in the Calculus of Constructions.

[BibT_eX]

[DOI]

Paula Severi

Proceedings of the Logic Based Program Synthesis and Tranformation, 2002

Call-by-Value lambda-Graph Rewriting Without Rewriting.

[BibT_eX]

[DOI]

Proceedings of the Graph Transformation, First International Conference, 2002

2001

Combining interaction nets with externally defined programs.

[BibT_eX]

[DOI]

Jorge Sousa Pinto

Proceedings of the APPIA-GULP-PRODE 2001: Joint Conference on Declarative Programming, 2001

2000

A Theory of Operational Equivalence for Interaction Nets.

[BibT_eX]

[DOI]

Proceedings of the LATIN 2000: Theoretical Informatics, 2000

1999

Polymorphic Intersection Type Assignment for Rewrite Systems with Abstractions and beta-Rule.

[BibT_eX]

[DOI]

Proceedings of the Types for Proofs and Programs, 1999

A Calculus for Interaction Nets.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Declarative Programming, International Conference PPDP'99, Paris, France, September 29, 1999

Closed Reductions in the lambda-Calculus.

[BibT_eX]

[DOI]

Proceedings of the Computer Science Logic, 13th International Workshop, 1999

1998

Interaction Nets and Term-Rewriting Systems.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1998

Type assignment and termination of interaction nets.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 1998

Negation Elimination in Empty or Permutative Theories.

[BibT_eX]

[DOI]

J. Symb. Comput., 1998

Coinductive Techniques for Operational Equivalence of Interaction Nets.

[BibT_eX]

[DOI]

Proceedings of the Thirteenth Annual IEEE Symposium on Logic in Computer Science, 1998

1997

Modularity of Strong Normalization in the Algebraic-lambda-Cube.

[BibT_eX]

[DOI]

Herman Geuvers

J. Funct. Program., 1997

Normalization Results for Typeable Rewrite Systems.

[BibT_eX]

[DOI]

Inf. Comput., 1997

On Object Calculus with Algebraic Rewriting.

[BibT_eX]

[DOI]

Adriana B. Compagnoni

Proceedings of the Programming Languages: Implementations, 1997

1996

Intersection Type Assignment Systems with Higher-Order Algebraic Rewriting.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1996

From Term Rewriting to Generalised Interaction Nets.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages: Implementations, 1996

Rewrite Systems with Abstraction and beta-Rule: Types, Approximants and Normalization.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 1996

Interaction Nets and Term Rewriting Systems (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Trees in Algebra and Programming, 1996

1995

Normalization Properties of Typeable Term Rewriting Systems (Abstract).

[BibT_eX]

Proceedings of the 9th International Workshop on Unification, 1995

(Head-) Normalization of Typeable Rewrite Systems.

[BibT_eX]

[DOI]

Proceedings of the Rewriting Techniques and Applications, 6th International Conference, 1995

Approximation and Normalization Results for Typeable Term Rewriting Systems.

[BibT_eX]

[DOI]

Proceedings of the Higher-Order Algebra, 1995

1994

Modularity of Strong Normalization and Confluence in the algebraic-lambda-Cube

[BibT_eX]

[DOI]

Herman Geuvers

Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), 1994

Modular Termination of Term Rewriting Systems Revisited.

[BibT_eX]

[DOI]

Jean-Pierre Jouannaud

Proceedings of the Recent Trends in Data Type Specification, 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30, 1994

1993

Combining First and Higher Order Rewrite Systems with Type Assignment Systems.

[BibT_eX]

[DOI]

Proceedings of the Typed Lambda Calculi and Applications, 1993

AC Complement Problems: Satisfiability and Negation Elimination.

[BibT_eX]

[DOI]