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
[2]
Hilfe
Suche: Author="Niqui, Milad"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Productivity of Edalat-Potts exact arithmetic in constructive type theory
Milad Niqui
Theory of Computing Systems
41
(1), 2007, pp. 127-154
Admissible digit sets
Jesse Hughes
,
Milad Niqui
Theoretical Computer Science
351
(1), 2006, pp. 61-73