Clifford Lectures and the mathematical foundations of programming semantics

Veröffentlicht 2006

We will show them! : essays in honour of Dov Gabbay on his 60th birthday

Veröffentlicht 2005

Special issue: Symposium on Computer Science : [ ... selected papers from the 3rd International Symposium on Computer Science in Russia (CSR 2008), held 7 - 12 in Moscow, Russia]

Veröffentlicht 2010

Invited papers presented at the Conference on Proof Theory, Provability Logic, and Computation

Veröffentlicht 1995

We will show them! : essays in honour of Dov Gabbay on his 60th birthday

Observable Models

von Artemov, Sergei
Veröffentlicht in LFCS (2020 : Deerfield Beach, Fla.) Logical Foundations of Computer Science (2020)

The Symposium on Logical Foundations of Computer Science 2009 : [(LFCS 09) ... Deerfield Beach, Florida, from January 3 - 6]

Veröffentlicht 2012

Kurt Gödel Centenary Research Prize Fellowships

Veröffentlicht 2009

International Symposium on Computer Science in Russia (CSR) : [... was held on June 8 - 12 on June 2006 in St. Petersburg]

Veröffentlicht 2008

Special issue: Symposium on Computer Science : [ ... selected papers from the 2nd International Symposium on Computer Science in Russia (CSR 2007), held 3 - 7 September in Ekater...

Veröffentlicht 2010

Papers presented at the Symposium on Logical Foundations of Computer Science 2007 dedicated to Anil Nerode on the occasion of his 75th birthday : [LFCS 2007 took place in New Yor...

Veröffentlicht 2009

Symposium on Computer Science : [selected papers from the 2nd International Symposium on Computer Science in Russia (CSR 2008), held 3 -7 September in Ekaterinburg, Russia]

Veröffentlicht 2010

Symposium on Computer Science : [selected papers from the 3rd International Symposium on Computer Science in Russia (CSR 2008), held June 7 - 12 in Moscow, Russia]

Veröffentlicht 2010

Symposium on Computer Science

Veröffentlicht 2010

Symposium on Computer Science : [... selected papers from the 2nd International Symposium on Computer Science in Russia (CSR 2007), held 3 - 7 September in Ekaterinburg, Russia]

Veröffentlicht 2010

Logical foundations of computer science : international symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016 : proceedings

Veröffentlicht 2016

Logical foundations of computer science : international symposium, LFCS 2013, San Diego, CA, USA, January 6 - 8, 2013 ; proceedings

Veröffentlicht 2013

Clifford lectures and the mathematical foundations of programming semantics : [... the Eighteenth Workshop on the Mathematical Foundations of Programming Semantics ... Tulane fro...

Veröffentlicht 2006

Logical foundations of computer science : international symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009 ; proceedings

Veröffentlicht 2009

Algebras, diagrams and decisions in language, logic and computation

Veröffentlicht 2001