Rule-algebraic Simple Rewriting

Informazioni relative al progetto

RaSiR

ID dell’accordo di sovvenzione: 753750

DOI

10.3030/753750

Progetto chiuso

Data della firma CE 20 Marzo 2017

Data di avvio 1 Ottobre 2017

Data di completamento 30 Settembre 2019

Finanziato da

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Costo totale

€ 173 076,00

Contributo UE

€ 173 076,00

Coordinato da

UNIVERSITE PARIS CITE
France

CORDIS fornisce collegamenti ai risultati finali pubblici e alle pubblicazioni dei progetti ORIZZONTE.

I link ai risultati e alle pubblicazioni dei progetti del 7° PQ, così come i link ad alcuni tipi di risultati specifici come dataset e software, sono recuperati dinamicamente da .OpenAIRE .

Pubblicazioni

Peer reviewed articles (4)

Operator Ordering and Solution of Pseudo-Evolutionary Equations

Autori: Nicolas Behr, Giuseppe Dattoli, Ambra Lattanzi
Pubblicato in: Axioms, Numero 8/1, 2019, Pagina/e 35, ISSN 2075-1680
Editore: Multidisciplinary Digital Publishing Institute
DOI: 10.3390/axioms8010035

Dual Numbers and Operational Umbral Methods

Autori: Nicolas Behr, Giuseppe Dattoli, Ambra Lattanzi, Silvia Licciardi
Pubblicato in: Axioms, Numero 8/3, 2019, Pagina/e 77, ISSN 2075-1680
Editore: Multidisciplinary Digital Publishing Institute
DOI: 10.3390/axioms8030077

Operational Methods in the Study of Sobolev-Jacobi Polynomials

Autori: Nicolas Behr, Giuseppe Dattoli, Gérard Duchamp, Silvia Penson
Pubblicato in: Mathematics, Numero 7/2, 2019, Pagina/e 124, ISSN 2227-7390
Editore: Multidisciplinary Digital Publishing Institute
DOI: 10.3390/math7020124

Sesqui-Pushout Rewriting: Concurrency, Associativity and Rule Algebra Framework

Autori: Nicolas Behr
Pubblicato in: Electronic Proceedings in Theoretical Computer Science, Numero 309, 2019, Pagina/e 23-52, ISSN 2075-2180
Editore: Open Publishing Association
DOI: 10.4204/eptcs.309.2

Conference proceedings (1)

Rule Algebras for Adhesive Categories

Autori: Nicolas Behr Pawel Sobocinski
Pubblicato in: Leibniz International Proceedings in Informatics (LIPIcs), Numero 27th EACSL Annual Conference on Computer Science Logic (CSL 2018), 2018, Pagina/e 11:1--11:21, ISBN 978-3-95977-088-0
Editore: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI: 10.4230/lipics.csl.2018.11