A problem has been found
A problem has ocurred in the communication with the server.
Please, try again later. If the problem persists, contact the admin
Home
Repositories
Authors
Document types
Statistics
About
Query
Advanced Search
Simple Search
Title
Author
Subject
Year
Refine your Search
Repository
30
(2)
65
(1)
Show More
Show Less
Author
Pardo, E.
(2)
Aranda-Pino, G.
(1)
Siles-Molina, M.
(1)
Wehrung, F.
(1)
Show More
Show Less
Subject
Calculus of Inductive Constructions
(1)
Coq
(1)
Exchange ring
(1)
Formal specification
(1)
Graph
(1)
Leavitt path algebra
(1)
MIDP 2.0
(1)
Security
(1)
Stable rank
(1)
Show More
Show Less
Year
2006
(3)
2014
(3)
1202
(1)
Show More
Show Less
Document Type
Artículo
(2)
Sin Especificar
(1)
Show More
Show Less
Language
Inglés
(2)
in
(1)
Show More
Show Less
Your search
Query:
PHYSICAL PROPERTIES
Year:
2006
Year:
2014
Sort by
Score
Title
Year
-
1-3 from
3
results
(0.023 seconds)
Title:
Exchange Leavitt path algebras and stable rank
Author:
Aranda-Pino, G.
/
Pardo, E.
/
Siles-Molina, M.
Language:
Inglés
Repository:
30
Subject:
Graph
/
Leavitt path algebra
/
Exchange ring
/
Stable rank
Acceder
Title:
A formal specification of the MIDP 2.0 security model
Language:
in
Repository:
65
Subject:
Calculus of Inductive Constructions
/
Formal specification
/
MIDP 2.0
/
Security
/
Coq
Acceder
Title:
Semilattices of groups and nonstable K-theory of extended Cuntz limits
Author:
Pardo, E.
/
Wehrung, F.
Language:
Inglés
Repository:
30
Acceder
« Previous
1
Next »