A class of modular algebraic nets and its support environment

Partial cotilting modules and the lattices induced by them

Colpi, R.
Tonolo, A.
Trlifaj, J
Padua Univ. (Italy). Dipartimento di Matematica Pura e Applicata

January 1996

Consiglio Nazionale delle Ricerche (CNR). Biblioteca Centrale / CNR - Consiglio Nazionale delle Rich...

Special algebraic structures

Smarandache, Florentin
International School for Advanced Studies, Trieste (Italy)

January 2000

Consiglio Nazionale delle Ricerche - Biblioteca Centrale - P.le Aldo Moro, 7 Rome / CNR - Consiglio ...

Modular algebraic nets to specify concurrent systems

E. Battiston
F. DeCindio
G. Mauri

January 1996

In this paper, we present the basic features of a specification language for concurrent distributed ...

A class of modular algebraic nets and its support environment

Battiston, E.
De Cindio, F.
Mauri, G
Consiglio Nazionale delle Ricerche, Rome (Italy). Progetto Finalizzato: Sistemi Informatici e Calcolo Parallelo

January 1994

Th research has also been supported by ENEL-DSR-CRA-, the Research Centre of the Italian National El...

Course on algebra

Brundu, M.
Logar, A
International Centre for Theoretical Physics, Trieste (Italy)

January 1995

Consiglio Nazionale delle Ricerche (CNR). Biblioteca Centrale / CNR - Consiglio Nazionale delle Rich...

Modularity of Proof-nets: generating the type of a module

Maieli, R.
Puite, Q.
Consiglio Nazionale delle Ricerche, Rome (Italy). Istituto per le Applicazioni del Calcolo 'Mauro Picone'

January 2003

IAC ReportsConsiglio Nazionale delle Ricerche - Biblioteca Centrale - P.le Aldo Moro, 7, Rome / CNR ...

An inner product for a topological algebra

Mohammed, Noor
International Centre for Theoretical Physics, Trieste (Italy)

January 1994

Consiglio Nazionale delle Ricerche (CNR). Biblioteca Centrale / CNR - Consiglio Nazionale delle Rich...

A class of composable high level petri nets. An M-net semantics of B(PN)"2

Klaudel, H. (Paris-11 Univ., 91 - Orsay (France). Lab. de Recherche en Informatique)
UPVM, Equipe d'Informatique Fondamentale, 94 - Creteil (France))
Hopkins, R.P. (Newcastle Univ., NSW (Australia). Dept. of Electrical Engineering and Computer Science)
Fraczak, W.
Best, E. (Hildesheim Univ. (Germany). Inst. fuer Informatik)
Fleischhack, H. (Oldenburg Univ. (Germany). Fachbereich 10 - Informatik)
Hildesheim Univ. (Germany). Inst. fuer Informatik
Pelz, E. (Paris-11 Univ., 91 - Orsay (France). Lab. de Recherche en Informatique

January 1995

Available from TIB Hannover: RO 8347(1995,10)+a / FIZ - Fachinformationszzentrum Karlsruhe / TIB - T...

Semantics frameworks for a class of modular algebraic nets

E. Battiston
V. Crespi
F. De Cindio
G. Mauri

January 1993

Among the various proposal for an `algebraic specification of concurrency', OBJSA Nets are a class o...

Global mathematics education

Andelfinger, Bernhard
Pavia Univ. (Italy). Dipartimento di Matematica Applicata

January 1994

Supported by CNRConsiglio Nazionale delle Ricerche (CNR). Biblioteca Centrale / CNR - Consiglio Nazi...

A general reasoning apparatus for its in mathematics

Colagrossi, A.
Micarelli, A
Consiglio Nazionale delle Ricerche, Rome (Italy). Progetto Finalizzato: Sistemi Informatici e Calcolo Parallelo

January 1994

Consiglio Nazionale delle Ricerche (CNR). Biblioteca Centrale / CNR - Consiglio Nazionale delle Rich...

A generalised B algebra which is not a B algebra

Srivastava, Rajiv K
International Centre for Theoretical Physics, Trieste (Italy)

January 1993

Consiglio Nazionale delle Ricerche (CNR). Biblioteca Centrale / CNR - Consiglio Nazionale delle Rich...

Bubbles in modularity

Marchiori, M
Padua Univ. (Italy). Dipartimento di Matematica Pura e Applicata

January 1995

Consiglio Nazionale delle Ricerche (CNR). Biblioteca Centrale / CNR - Consiglio Nazionale delle Rich...

Design of hierarchical ring networks

Arbib, Claudio
Mocci, Ugo
Fondazione Ugo Bordoni (FUB), Rome (Italy)

January 1993

Consiglio Nazionale delle Ricerche (CNR). Biblioteca Centrale / CNR - Consiglio Nazionale delle Rich...

A family of complex manifolds covered by DELTA_n

De Fabritiis, C
International School for Advanced Studies (ISAS), Trieste (Italy)

January 1996

Consiglio Nazionale delle Ricerche (CNR). Biblioteca Centrale / CNR - Consiglio Nazionale delle Rich...

Partial cotilting modules and the lattices induced by them

Colpi, R.
Tonolo, A.
Trlifaj, J
Padua Univ. (Italy). Dipartimento di Matematica Pura e Applicata

January 1996

Consiglio Nazionale delle Ricerche (CNR). Biblioteca Centrale / CNR - Consiglio Nazionale delle Rich...

Special algebraic structures

Smarandache, Florentin
International School for Advanced Studies, Trieste (Italy)

January 2000

Consiglio Nazionale delle Ricerche - Biblioteca Centrale - P.le Aldo Moro, 7 Rome / CNR - Consiglio ...

Modular algebraic nets to specify concurrent systems

E. Battiston
F. DeCindio
G. Mauri

January 1996

In this paper, we present the basic features of a specification language for concurrent distributed ...

A class of modular algebraic nets and its support environment

Battiston, E.
De Cindio, F.
Mauri, G
Consiglio Nazionale delle Ricerche, Rome (Italy). Progetto Finalizzato: Sistemi Informatici e Calcolo Parallelo

January 1994

Th research has also been supported by ENEL-DSR-CRA-, the Research Centre of the Italian National El...

Course on algebra

Brundu, M.
Logar, A
International Centre for Theoretical Physics, Trieste (Italy)

January 1995

Consiglio Nazionale delle Ricerche (CNR). Biblioteca Centrale / CNR - Consiglio Nazionale delle Rich...

Modularity of Proof-nets: generating the type of a module

Maieli, R.
Puite, Q.
Consiglio Nazionale delle Ricerche, Rome (Italy). Istituto per le Applicazioni del Calcolo 'Mauro Picone'

January 2003

IAC ReportsConsiglio Nazionale delle Ricerche - Biblioteca Centrale - P.le Aldo Moro, 7, Rome / CNR ...

An inner product for a topological algebra

Mohammed, Noor
International Centre for Theoretical Physics, Trieste (Italy)

January 1994

Consiglio Nazionale delle Ricerche (CNR). Biblioteca Centrale / CNR - Consiglio Nazionale delle Rich...

A class of composable high level petri nets. An M-net semantics of B(PN)"2

Klaudel, H. (Paris-11 Univ., 91 - Orsay (France). Lab. de Recherche en Informatique)
UPVM, Equipe d'Informatique Fondamentale, 94 - Creteil (France))
Hopkins, R.P. (Newcastle Univ., NSW (Australia). Dept. of Electrical Engineering and Computer Science)
Fraczak, W.
Best, E. (Hildesheim Univ. (Germany). Inst. fuer Informatik)
Fleischhack, H. (Oldenburg Univ. (Germany). Fachbereich 10 - Informatik)
Hildesheim Univ. (Germany). Inst. fuer Informatik
Pelz, E. (Paris-11 Univ., 91 - Orsay (France). Lab. de Recherche en Informatique

January 1995

Available from TIB Hannover: RO 8347(1995,10)+a / FIZ - Fachinformationszzentrum Karlsruhe / TIB - T...

Semantics frameworks for a class of modular algebraic nets

E. Battiston
V. Crespi
F. De Cindio
G. Mauri

January 1993

Among the various proposal for an `algebraic specification of concurrency', OBJSA Nets are a class o...

Global mathematics education

Andelfinger, Bernhard
Pavia Univ. (Italy). Dipartimento di Matematica Applicata

January 1994

Supported by CNRConsiglio Nazionale delle Ricerche (CNR). Biblioteca Centrale / CNR - Consiglio Nazi...

A general reasoning apparatus for its in mathematics

Colagrossi, A.
Micarelli, A
Consiglio Nazionale delle Ricerche, Rome (Italy). Progetto Finalizzato: Sistemi Informatici e Calcolo Parallelo

January 1994

Consiglio Nazionale delle Ricerche (CNR). Biblioteca Centrale / CNR - Consiglio Nazionale delle Rich...

A generalised B algebra which is not a B algebra

Srivastava, Rajiv K
International Centre for Theoretical Physics, Trieste (Italy)

January 1993

Consiglio Nazionale delle Ricerche (CNR). Biblioteca Centrale / CNR - Consiglio Nazionale delle Rich...

Bubbles in modularity

Marchiori, M
Padua Univ. (Italy). Dipartimento di Matematica Pura e Applicata

January 1995

Consiglio Nazionale delle Ricerche (CNR). Biblioteca Centrale / CNR - Consiglio Nazionale delle Rich...

Design of hierarchical ring networks

Arbib, Claudio
Mocci, Ugo
Fondazione Ugo Bordoni (FUB), Rome (Italy)

January 1993

Consiglio Nazionale delle Ricerche (CNR). Biblioteca Centrale / CNR - Consiglio Nazionale delle Rich...

A family of complex manifolds covered by DELTA_n

De Fabritiis, C
International School for Advanced Studies (ISAS), Trieste (Italy)

January 1996

Consiglio Nazionale delle Ricerche (CNR). Biblioteca Centrale / CNR - Consiglio Nazionale delle Rich...

Partial cotilting modules and the lattices induced by them

Colpi, R.
Tonolo, A.
Trlifaj, J
Padua Univ. (Italy). Dipartimento di Matematica Pura e Applicata

January 1996

Consiglio Nazionale delle Ricerche (CNR). Biblioteca Centrale / CNR - Consiglio Nazionale delle Rich...

Special algebraic structures

Smarandache, Florentin
International School for Advanced Studies, Trieste (Italy)

January 2000

Consiglio Nazionale delle Ricerche - Biblioteca Centrale - P.le Aldo Moro, 7 Rome / CNR - Consiglio ...

Modular algebraic nets to specify concurrent systems

E. Battiston
F. DeCindio
G. Mauri

January 1996

In this paper, we present the basic features of a specification language for concurrent distributed ...

A class of modular algebraic nets and its support environment

Abstract

Extracted data

A class of modular algebraic nets and its support environment

Abstract

Extracted data

Related items

Related items