A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Filters
Special issue on quantum programming languages
2006
Mathematical Structures in Computer Science
Preserved Fulltext
and Programming (ICALP 2004). ...
in Turku, Finland. The purpose of the workshop was to bring together researchers working on mathematical formalisms and programming languages for quantum computing. ...
doi:10.1017/s0960129506005226
fatcat:r4bztezw7bcabkinvlv4n3nxhm
Preface
2005
Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
, in Turku, Finland (ALGOSENSORS 04, http://ru1.cti.gr/algosensors04/), in conjunction with the 31st International Colloquium on Automata, Languages and Programming (ICALP 04). ...
Special Issue is based on selected best papers of theoretical, algorithmic flavor from the successful First International Workshop on Algorithmic Aspects of Wireless Sensor Networks, that was held July 16, 2004 ...
doi:10.1016/j.tcs.2005.06.021
fatcat:hqwqmqbti5hxrik73cvrky6w7m
Deciding knowledge in security protocols under some e-voting theories
2011
RAIRO - Theoretical Informatics and Applications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
In Proc. 31st Int. Coll. Automata,
Languages, and Programming (ICALP'2004), volume 3142 of Lec-
ture Notes in Computer Science, pages 46-58, Turku, Finland, July
2004. Springer.
[AC06]
M. ...
doi:10.1051/ita/2011119
fatcat:a7wxd5kjajbpxkoraiegmsehmi