×

Found 7 Documents (Results 1–7)

100
MathJax

Elementary thoughts on discrete logarithms. (English) Zbl 1188.11070

Buhler, J. P. (ed.) et al., Algorithmic number theory. Lattices, number fields, curves and cryptography. Cambridge: Cambridge University Press (ISBN 978-0-521-80854-5/hbk). Mathematical Sciences Research Institute Publications 44, 385-396 (2008).
PDF BibTeX XML Cite

Term collections in {\(\lambda\)} and {\(\rho\)}-calculi. (English) Zbl 1277.03010

Jouannaud, Jean-Pierre (ed.) et al., Proceedings of the second international workshop on developments in computational models (DCM 2006), Venice, Italy, July 16, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 171, No. 3, 3-19 (2007).
MSC:  03B40 68Q42 68Q55
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Classification

all top 3

Software