Publis

Publications HAL de Horatiu, Cirstea

2015

Conference papers

titre
Towards an automatic tool for multi-scale model derivation illustrated with a micro-mirror array
auteur
Walid Belkhir, Nicolas Ratier, Duy Duc Nguyen, Bin Yang, Michel Lenczner, Frédéric Zamkotsian, Horatiu Cirstea
article
17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, Sep 2015, Timisoara, Romania. 2015, <http://synasc.ro/2015/>
typdoc
Conference papers
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01243204/file/synasc-2015.pdf BibTex
titre
A faithful encoding of programmable strategies into term rewriting systems
auteur
Horatiu Cirstea, Sergueï Lenglet, Pierre-Etienne Moreau
article
Rewriting Techniques and Application 2015, Jun 2015, Warsaw, Poland. pp.15, <10.4230/LIPIcs.RTA.2015.74>
typdoc
Conference papers
DOI
DOI : 10.4230/LIPIcs.RTA.2015.74
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01168956/file/10.pdf BibTex

Preprints, Working Papers, …

titre
Towards an automatic tool for multi-scale model derivation
auteur
Walid Belkhir, Nicolas Ratier, Duy Duc Nguyen, Bin Yang, Michel Lenczner, Frédéric Zamkotsian, Horatiu Cirstea
article
2015
typdoc
Preprints, Working Papers, …
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01223141/file/long-version-michel.pdf BibTex
titre
A Java Framework for Test Data Generation
auteur
Horatiu Cirstea, Pierre-Etienne Moreau, Emilie Balland
article
2015
typdoc
Preprints, Working Papers, …
Accès au bibtex
BibTex
titre
Bringing Strategic Rewriting into the Mainstream
auteur
Emilie Balland, Horatiu Cirstea, Pierre-Etienne Moreau
article
2015
typdoc
Preprints, Working Papers, …
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01128523/file/submission.pdf BibTex
titre
A faithful encoding of programmable strategies into term rewriting systems
auteur
Horatiu Cirstea, Sergueï Lenglet, Pierre-Etienne Moreau
article
2015
typdoc
Preprints, Working Papers, …
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01119941/file/paper.pdf BibTex

2011

Conference papers

titre
Symbolic analysis of network security policies using rewrite systems
auteur
Tony Bourdier, Horatiu Cirstea
article
Symposium on Principles and Practices of Declarative Programming, Jul 2011, Odense, Denmark. ACM, pp.77-88, 2011, <http://portal.acm.org/citation.cfm?id=2003489&CFID=37282707&CFTOKEN=28592488>. <10.1145/2003476.2003489>
typdoc
Conference papers
DOI
DOI : 10.1145/2003476.2003489
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00567858/file/ppdp11.pdf BibTex
titre
Formal Specification and Validation of Security Policies
auteur
Tony Bourdier, Horatiu Cirstea, Mathieu Jaume, Hélène Kirchner
article
J. Garcia-Alfaro and P. Lafourcade. FPS – 4th Canada-France MITACS Workshop on Foundations and Practice of Security – 2011, May 2011, Paris, France. Springer, Heidelberg, 6888, pp.148-163, 2012, Lecture Notes in Computer Science. <10.1007/978-3-642-27901-0_12>
typdoc
Conference papers
DOI
DOI : 10.1007/978-3-642-27901-0_12
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00507300/file/FormalSpecificationandValidationofSecurityPolicies.pdf BibTex

Reports

titre
A constraint language for algebraic term based on rewriting theory
auteur
François Prugniel, Pierre-Etienne Moreau, Horatiu Cirstea
article
[Research Report] 2011, pp.8
typdoc
Reports
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00646343/file/paper.pdf BibTex

2010

Journal articles

titre
Anti-patterns for Rule-based Languages
auteur
Horatiu Cirstea, Claude Kirchner, Radu Kopetz, Pierre-Etienne Moreau
article
Journal of Symbolic Computation, Elsevier, 2010, 54 (5), pp.523-550. <10.1016/j.jsc.2010.01.007>
typdoc
Journal articles
DOI
DOI : 10.1016/j.jsc.2010.01.007
Accès au bibtex
BibTex
titre
Extensional and Intensional Strategies
auteur
Tony Bourdier, Horatiu Cirstea, Daniel Dougherty, Hélène Kirchner
article
Electronic Proceedings in Theoretical Computer Science, EPTCS, 2010, Reduction Strategies in Rewriting and Programming, 15, pp.1-19. <http://arxiv.org/abs/1001.4427>. <10.4204/EPTCS.15.1>
typdoc
Journal articles
DOI
DOI : 10.4204/EPTCS.15.1
Accès au bibtex
BibTex

Conference papers

titre
Rule-based Specification and Analysis of Security Policies
auteur
Tony Bourdier, Horatiu Cirstea, Mathieu Jaume, Hélène Kirchner
article
5th International Workshop on Security and Rewriting Techniques – SecReT 2010, Jun 2010, Valencia, Spain. 2010
typdoc
Conference papers
Accès au bibtex
BibTex
titre
On Formal Specification and Analysis of Security Policies
auteur
Tony Bourdier, Horatiu Cirstea, Mathieu Jaume, Hélène Kirchner
article
2010 Grande Region Security and Reliability Day, Mar 2010, Saarbrücken, Germany. 2010
typdoc
Conference papers
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00429240/file/article.pdf BibTex

Habilitation à diriger des recherches

titre
Le calcul de réécriture
auteur
Horatiu Cirstea
article
Génie logiciel [cs.SE]. Université Nancy II, 2010
typdoc
Habilitation à diriger des recherches
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00546917/file/main.pdf BibTex

Preprints, Working Papers, …

titre
Constrained rewriting in recognizable theories
auteur
Tony Bourdier, Horatiu Cirstea
article
2010
typdoc
Preprints, Working Papers, …
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00456848/file/short.pdf BibTex

2009

Conference papers

titre
TomML: A Rule Language For Structured Data
auteur
Horatiu Cirstea, Pierre-Etienne Moreau, Antoine Reilles
article
International RuleML Symposium on Rule Interchange and Applications – RuleML 2009, Nov 2009, Las Vegas, United States. pp.262-271, 2009
typdoc
Conference papers
Accès au bibtex
BibTex
titre
Analysis of Lattice-Based Access Control Policies using Rewiting Systems and Tom.
auteur
Tony Bourdier, Horatiu Cirstea, Pierre-Etienne Moreau, Anderson Santana de Oliveira
article
S. Mauw and L. van der Torre (eds). 1st Luxembourg Day on Security and Reliability, Feb 2009, Luxembourg city, Luxembourg. ISBN 2-919940-84-8, pp.33-40, 2009
typdoc
Conference papers
Accès au bibtex
BibTex

2008

Conference papers

titre
Rewrite Based Specification of Access Control Policies
auteur
Horatiu Cirstea, Pierre-Etienne Moreau, Anderson Santana de Oliveira
article
3rd International Workshop on Security and Rewriting Techniques – SecReT 2008, Jun 2008, Pittsburgh, United States. 234, pp.37-54, 2009, Electronic Notes in Theoretical Computer Science
typdoc
Conference papers
Accès au bibtex
BibTex

2007

Journal articles

titre
A rewriting calculus for cyclic higher-order term graphs
auteur
Paolo Baldan, Clara Bertolissi, Horatiu Cirstea, Claude Kirchner
article
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2007, 17 (3), pp.363-406. <10.1017/S0960129507006093>
typdoc
Journal articles
DOI
DOI : 10.1017/S0960129507006093
Accès au bibtex
BibTex
titre
A Rho-Calculus of explicit constraint application
auteur
Horatiu Cirstea, Germain Faure, Claude Kirchner
article
Higher-Order and Symbolic Computation, Springer Verlag, 2007, Special Issue on Rewriting Logic and its Applications, 20, pp.37-72. <10.1007/s10990-007-9004-2>
typdoc
Journal articles
DOI
DOI : 10.1007/s10990-007-9004-2
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00000628/file/paper.pdf BibTex

Conference papers

titre
Confluence of Pattern-Based Calculi
auteur
Horatiu Cirstea, Germain Faure
article
Franz Baader. 18th International Conference on Term Rewriting and Applications – RTA 2007, Jun 2007, Paris, France. Springer Berlin / Heidelberg, 4533, pp.78-92, 2007, Lecture Notes in Computer Science; Term Rewriting and Applications 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007. Proceedings. <10.1007/978-3-540-73449-9_8>
typdoc
Conference papers
DOI
DOI : 10.1007/978-3-540-73449-9_8
Accès au bibtex
BibTex
titre
Towards a sharing strategy for the graph rewriting calculus
auteur
Paolo Baldan, Clara Bertolissi, Horatiu Cirstea, Claude Kirchner
article
Jürgen Giesl. 7th International Workshop on Reduction Strategies in Rewriting and Programming – WRS 2007, Jun 2007, Paris, France. Elsevier, 204, 2008, Electronic Notes in Theoretical Computer Science
typdoc
Conference papers
Accès au bibtex
BibTex

2006

Journal articles

titre
Expressing Combinatory Reduction Systems Derivations in the Rewriting Calculus
auteur
Horatiu Cirstea, Clara Bertolissi, Claude Kirchner
article
Higher-Order and Symbolic Computation, Springer Verlag, 2006
typdoc
Journal articles
Accès au bibtex
BibTex

Conference papers

titre
From functional programs to interaction nets via the Rewriting Calculus
auteur
Horatiu Cirstea, Germain Faure, Maribel Fernandez, Ian Mackie, François-Régis Sinot
article
Sergio Antoy. Sixth International Workshop on Reduction Strategies in Rewriting and Programming, Aug 2006, Seattle, Washington, United States. Elsevier, 174(10), pp.39-56, 2007, Electronic Notes in Theoretical Computer Science; Proceedings of the Sixth International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2006)
typdoc
Conference papers
Accès au bibtex
BibTex
titre
Distributive rewriting calculus
auteur
Horatiu Cirstea, Clement Houtmann, Benjamin Wack
article
Grit Denker and Carolyn L. Talcott. Sixth International Workshop on Reduction Strategies in Rewriting and Programming, Apr 2006, Vienna, Austria. Elsevier, 176(4), pp.95-111, 2007, Electronic Notes in Theoretical Computer Science; Proceedings of the 6th International Workshop on Rewriting Logic and its Applications (WRLA 2006)
typdoc
Conference papers
Accès au bibtex
BibTex
titre
Distributive Rho-Calculus
auteur
Horatiu Cirstea, Clement Houtmann, Benjamin Wack
article
WRLA 2006, Apr 2006, Vienna, Austria. 176-4, pp.29, 2007, ENTCS. <10.1016/j.entcs.2007.06.010>
typdoc
Conference papers
DOI
DOI : 10.1016/j.entcs.2007.06.010
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00001112/file/distrib-hal.pdf BibTex
titre
Decidable Type Inference for the Polymorphic Rewriting Calculus
auteur
Horatiu Cirstea, Claude Kirchner, Luigi Liquori, Benjamin Wack
article
17è Journées Francophones des Langages Applicatifs – JFLA 2006, Jan 2006, Pauillac, France. INRIA, pp.57-69, 2006
typdoc
Conference papers
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00000817/file/cirstea.pdf BibTex

2005

Other publications

titre
Types for REWERSE reasoning and query languages I3-D4
auteur
Horatiu Cirstea, Emmanuel Coquery, Wlodzimierz Drabent, Francois Fages, Claude Kirchner, Luigi Liquori, Benjamin Wack, Artur Wilk
article
1 Introduction
2 Descriptive typing for Xcerpt
3 Prescriptive type inference for .. 2005, 71p
typdoc
Other publications
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01149625/file/2005-deliverable-rewerse-i3-d4.pdf BibTex

Reports

titre
A rewriting calculus for cyclic higher-order term graphs
auteur
Paolo Baldan, Clara Bertolissi, Horatiu Cirstea, Claude Kirchner
article
[Intern report] 2005
typdoc
Reports
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00000825/file/paper.pdf BibTex

2004

Conference papers

titre
A rewriting calculus for cyclic higher-order term graphs
auteur
Clara Bertolissi, Paolo Baldan, Horatiu Cirstea, Claude Kirchner
article
Maribel Fernandez. 2nd International Workshop on Term Graph Rewriting – TERMGRAPH’2004, Oct 2004, Rome, Italy, 20 p, 2004, Electronic Notes in Theoretical Computer Science
typdoc
Conference papers
Accès au bibtex
BibTex
titre
A rho-calculus of explicit constraint application.
auteur
Horatiu Cirstea, Germain Faure, Claude Kirchner
article
Workshop on Rewriting Logic and Applications, Mar 2004, Barcelona (Spain), Spain. 117, 2004, ENTCS
typdoc
Conference papers
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00095626/file/wrla2004-19.pdf BibTex
titre
Rule based programming in Java for protocol verification
auteur
Horatiu Cirstea, Pierre-Etienne Moreau, Antoine Reilles
article
Narciso Marti-Oliet and Manuel Clavel and Alberto Verdejo. 5th International Workshop on Rewriting Logic and its Applications – WRLA’2004, 2004, Barcelona, Spain, Elsevier, 18 p, 2004, Electronic Notes in Theoretical Computer Science
typdoc
Conference papers
Accès au bibtex
BibTex

Reports

titre
Types for Web Rule Languages: a preliminary study
auteur
Horatiu Cirstea, Emmanuel Coquery, Wlodzimierz Drabent, Francois Fages, Claude Kirchner, Jan Maluszynski, Benjamin Wack
article
[Contract] A04-R-560 || cirstea04e, Inria. 2004, 33 p
typdoc
Reports
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00099859/file/A04-R-560.pdf BibTex
titre
Production and Rewrite Systems
auteur
Horatiu Cirstea, Claude Kirchner, Michael Moossen, Pierre-Etienne Moreau
article
[Research Report] 2004, pp.23
typdoc
Reports
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00280939/file/psAndRew.pdf BibTex
titre
Production Systems and Rete Algorithm Formalisation
auteur
Horatiu Cirstea, Claude Kirchner, Michael Moossen, Pierre-Etienne Moreau
article
[Research Report] 2004, pp.21
typdoc
Reports
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00280938/file/rete.formalisation.pdf BibTex
titre
Production Systems and Rete Algorithm Formalisation
auteur
Horatiu Cirstea, Claude Kirchner, Michael Moossen, Pierre-Etienne Moreau
article
[Contract] A04-R-546 || cirstea04d, 2004, 26 p
typdoc
Reports
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00099850/file/A04-R-546.pdf BibTex
titre
Production Systems and Rewrite Systems
auteur
Horatiu Cirstea, Claude Kirchner, Michael Moossen, Pierre-Etienne Moreau
article
[Contract] A04-R-563 || cirstea04f, 2004, 28 p
typdoc
Reports
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00099860/file/A04-R-563.pdf BibTex

2003

Conference papers

titre
Rewrite Strategies in the Rewriting Calculus
auteur
Horatiu Cirstea, Claude Kirchner, Luigi Liquori, Benjamin Wack
article
Elsevier. WRS 2003, 3rd International Workshop on Reduction Strategies in Rewriting and Programming – Final Proceedings, Jun 2003, Valencia, Spain. Electronic Notes in Theoretical Computer Science, 86 (issue 4), pp.593-624, 2003, <10.1016/S1571-0661(05)82613-1>
typdoc
Conference papers
DOI
DOI : 10.1016/S1571-0661(05)82613-1
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00099586/file/2003-wrs-03.pdf BibTex
titre
Rewriting Calculus with Fixpoints: Untyped and First-order Systems
auteur
Horatiu Cirstea, Luigi Liquori, Benjamin Wack
article
Stefano Berardi and Mario Coppo and Ferruccio Damiani. Types for Proofs and Programs International Workshop, TYPES 2003, Torino, Italy, April 30 – May 4, 2003, Revised Selected Papers, Apr 2003, Turin, Italy. Springer Verlag, 3085, pp.147-161, 2003, Lecture Notes in Computer Science. <10.1007/978-3-540-24849-1_10>
typdoc
Conference papers
DOI
DOI : 10.1007/978-3-540-24849-1_10
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00100113/file/2004-types-03.pdf BibTex
titre
Pure Patterns Type Systems
auteur
Gilles Barthe, Horatiu Cirstea, Claude Kirchner, Luigi Liquori
article
ACM. Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, New Orleans, LA, USA — January 15 – 17, 2003, Jan 2003, New Orleans, United States. pp.250 – 261, 2003, <10.1145/604131.604152>
typdoc
Conference papers
DOI
DOI : 10.1145/604131.604152
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00099463/file/2003-popl-03.pdf BibTex
titre
Translating Combinatory Reduction Systems into the Rewriting Calculus
auteur
Clara Bertolissi, Horatiu Cirstea, Claude Kirchner
article
4th International Workshop on Rule-Based Programming – RULE 2003, 2003, Valencia, Spain, 2003
typdoc
Conference papers
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00107640/file/A03-R-057.pdf BibTex

2002

Conference papers

titre
Rewriting Calculus with(out) Types
auteur
Horatiu Cirstea, Claude Kirchner, Luigi Liquori
article
WRLA 2002, 4th International Workshop on Rewriting Logic and Its Applications, Pisa, Italy 19–21 September 2002, Sep 2002, Pisa, Italy. Elsevier, Electronic Notes in Theoretical Computer Science, 71, pp.3-19, 2002, <10.1016/S1571-0661(05)82526-5>
typdoc
Conference papers
DOI
DOI : 10.1016/S1571-0661(05)82526-5
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00100858/file/2002-wrla-02.pdf BibTex
titre
The rho cube : some results, some problems
auteur
Horatiu Cirstea, Claude Kirchner, Luigi Liquori, Benjamin Wack
article
First International Workshop on Higher-Order Rewriting Copenhagen, Denmark, July 21st, 2002 Affiliated with RTA 2002, Jul 2002, Copenhague, Denmark. 2002
typdoc
Conference papers
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00099411/file/A02-R-470.pdf BibTex

2001

Journal articles

titre
The Rewriting Calculus – Part I
auteur
Horatiu Cirstea, Claude Kirchner
article
Logic Journal of the Interest Group in Pure and Applied Logics, 2001, 9 (3), pp.427-463
typdoc
Journal articles
Accès au bibtex
BibTex
titre
The Rewriting Calculus – Part II
auteur
Horatiu Cirstea, Claude Kirchner
article
Logic Journal of the Interest Group in Pure and Applied Logics, 2001, 9 (3), pp.465-498
typdoc
Journal articles
Accès au bibtex
BibTex
titre
Rewriting and Multisets in Rho-calculus and ELAN
auteur
Horatiu Cirstea, Claude Kirchner
article
Romanian Journal of Information, Science and Technology, 2001, 4 (1-2), pp.33–48
typdoc
Journal articles
Accès au bibtex
BibTex

Conference papers

titre
Matching Power
auteur
Horatiu Cirstea, Claude Kirchner, Luigi Liquori
article
12th International Conference, RTA 2001 Utrecht, The Netherlands, May 22–24, 2001 Proceedings, May 2001, Utrecht, Netherlands. Springer Verlag, 2051, pp.77-92, 2001, Lecture Notes in Computer Science. <10.1007/3-540-45127-7_8>
typdoc
Conference papers
DOI
DOI : 10.1007/3-540-45127-7_8
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00107876/file/2001-rta-01.pdf BibTex
titre
The Rho Cube
auteur
Horatiu Cirstea, Claude Kirchner, Luigi Liquori
article
4th International Conference on Foundations of Software Science and Computation Structures – FOSSACS 2001, Apr 2001, Genova, Italy. 15 p, 2001, <10.1007/3-540-45315-6_11 >
typdoc
Conference papers
DOI
DOI : 10.1007/3-540-45315-6_11
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00107877/file/A01-R-202.pdf BibTex
titre
Specifying Authentication Protocols Using Rewriting and Strategies
auteur
Horatiu Cirstea
article
Third International Workshop on Practical Aspects of Declarative Languages – PADl’01, Mar 2001, Las Vegas, Nevada, USA, 15 p, 2001
typdoc
Conference papers
Accès au bibtex
BibTex

2000

Conference papers

titre
The simply typed rewriting calculus
auteur
Horatiu Cirstea, Claude Kirchner
article
3rd International Workshop on Rewriting Logic & its Applications – WRLA2000, Sep 2000, none, 19 p, 2000
typdoc
Conference papers
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00099052/file/A00-R-237.pdf BibTex
titre
Rewriting and Multisets in the Rewriting Calculus and ELAN
auteur
Horatiu Cirstea, Claude Kirchner
article
Workshop on Multiset Processing, Aug 2000, Curtea de Arges, Romania, 17 p, 2000
typdoc
Conference papers
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00099053/file/A00-R-238.pdf BibTex

Reports

titre
The Rewriting Calculus
auteur
Horatiu Cirstea, Claude Kirchner
article
[Intern report] A00-R-444 || cirstea00f, 2000
typdoc
Reports
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00099076/file/A00-R-444.pdf BibTex
titre
Matching Power
auteur
Horatiu Cirstea, Claude Kirchner, Luigi Liquori
article
[Intern report] A00-R-363 || cirstea00c, LORIA, UMR 7503, Université de Lorraine, CNRS, Vandoeuvre-lès-Nancy. 2000, 18 p
typdoc
Reports
Accès au bibtex
BibTex
titre
A Rho Cube
auteur
Horatiu Cirstea, Claude Kirchner, Luigi Liquori
article
[Intern report] A00-R-344 || cirstea00d, LORIA, UMR 7503, Université de Lorraine, CNRS, Vandoeuvre-lès-Nancy. 2000, 18 p
typdoc
Reports
Accès au bibtex
BibTex

1999

Conference papers

titre
Specifying Authentication Protocols Using ELAN
auteur
Horatiu Cirstea
article
Workshop on Modelling & Verification, Dec 1999, Besançon, France, 17 p, 1999
typdoc
Conference papers
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00107815/file/99-R-246.pdf BibTex

Reports

titre
Using Rewriting and Strategies for Describing the B Predicate Prover
auteur
Horatiu Cirstea, Claude Kirchner
article
[Intern report] 99-R-249 || cirstea99d, 1999, 23 p
typdoc
Reports
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00098748/file/99-R-249.pdf BibTex
titre
Introduction to the Rewriting Calculus
auteur
Horatiu Cirstea, Claude Kirchner
article
[Research Report] RR-3818, INRIA. 1999, pp.50
typdoc
Reports
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00072840/file/RR-3818.pdf BibTex

1998

Conference papers

titre
Using Rewriting and Strategies for Describing the B Predicate Prover
auteur
Horatiu Cirstea, Claude Kirchner
article
Proceedings of the Workshop on Strategies in Automated Deduction – CADE-15, 1998, Lindau, Germany, pp.23-34, 1998
typdoc
Conference papers
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00098715/file/98-R-276.pdf BibTex
titre
Combining Higher-Order and First-Order Computation Using Rho Calculus: Towards a Semantics of ELAN
auteur
Horatiu Cirstea, Claude Kirchner
article
FroCoS’98, 1998, Amsterdam, The Netherlands, 25 p, 1998
typdoc
Conference papers
Accès au bibtex
BibTex

Reports

titre
$\rho$-Calculus. Its Syntax and Basic Properties
auteur
Horatiu Cirstea, Claude Kirchner
article
[Intern report] 98-R-218 || cirstea98a, 1998, 16 p
typdoc
Reports
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00098735/file/98-R-218.pdf BibTex
titre
Combining Higher-Order & First-Order Computation Using $\rho$-calculus: Towards a semantics of ELAN Full-version
auteur
Horatiu Cirstea, Claude Kirchner
article
[Intern report] 98-R-220 || cirstea98b, 1998
typdoc
Reports
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00098736/file/98-R-220.pdf BibTex