Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Author="Soloviev, Sergei"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
On categories of semimodules over semirings and varieties of closed categories
A. El Khoury
,
Sergei Soloviev
,
L. Mehats
,
M. Spivakovsky
Proceedings of the International Conference on Polynomial Computer Algebra, PCA'2009 (St. Petersburg, Russia, April 7-12, 2009)
, 2009, pp. 89-94
Computer algebra, types and proofs
A.V. Flegontov
,
Sergei V. Soloviev
Proceedings of the 7th International Workshop on Computer Algebra in Scientific Computing, CASC'2004 (St. Petersburg, Russia, July 12-19, 2004)
, 2004, pp. 155-162
On categorical equivalence of Gentzen-style derivations in IMLL
Sergei Soloviev
,
Vladimir Orevkov
Theoretical Computer Science
303
(1), 2003, pp. 245-260
A logic of subtyping
Giuseppe Longo
,
Kathleen Milsted
,
Sergei Soloviev
Proceedings of the 10th Annual IEEE Symposium on Logic in Computer Science (San Diego, California, June 26-29, 1995)
, 1995, pp. 292-299
The genericity theorem and parametricity in the polymorphic
\lambda
-calculus
Giuseppe Longo
,
Kathleen Milsted
,
Sergei Soloviev
Theoretical Computer Science
121
(1-2), 1993, pp. 323-349