Results 221 to 230 of about 178,112,631 (236)

2023 Third International Conference on Theoretical and Applicative Aspects of Computer Science (ICTAACS)

2023
openaire   +1 more source

Nonstandard methods in combinatorics and theoretical computer science

Studia Logica, 1988
M E Szabó, M M Richter
exaly  

28th Annual Symposium on Theoretical Aspects of Computer Science (STACS'11)

How to prove security of communication protocols? A discussion on the soundness of formal models w.r, 2011
Hubert Comon-Lundh, Vxe9ronique Cortier
openaire  

Proceedings of the 29th International Symposium on Theoretical Aspects of Computer Science (STACS 2012)

2012
Dürr, Christoph, Wilke, Thomas
openaire   +1 more source

28th Annual Symposium on Theoretical Aspects of Computer Science (STACS11)

How to prove security of communication protocols? A discussion on the soundness of formal models w.r
openaire   +1 more source

International Symposia on Theoretical Aspects of Computer Science: TACS '97, TACS ‘94, and TACS ' 91

Bulletin of Symbolic Logic, 1998
openaire   +1 more source

2019 International Conference on Theoretical and Applicative Aspects of Computer Science (ICTAACS)

2019
openaire   +1 more source

Theoretical Computer Science

Lecture Notes in Computer Science, 2006
exaly  

32nd International Symposium on Theoretical Aspects of Computer Science (STACS 2015)

2015
Mayr, Ernst, Ollinger, Nicolas
openaire   +1 more source

Theoretical Computer Science

Communications in Computer and Information Science
exaly