ID:DA01987694
LICS
IEEE Symposium on Logic in Computer Science
Search authors sharing the same name
IEEE c2023
2/2
Available at 1 libraries
1/2
IEEE c2021
IEEE c2019
IEEE c2017
[v. 1] , [v. 2]
IEEE c2016
IEEE Computer Society c2015
IEEE Computer Society c2013
Institute of Electrical and Electronic Engineers c2012
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing
IEEE Computer Society c2011
Available at 2 libraries
supported by IEEE Technical Committee on Mathematical Foundations of Computing ; in cooperation with Association for Symbolic Logic and the European Association for Theoretical Computer Science
IEEE Computer Society c2010
IEEE Computer Society c2009
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with Association for Symbolic Logic, European Association for Theoretical Computer Science
IEEE Computer Society c2008
Available at 3 libraries
sponsored by SIGPLAN
Association for Computing Machinery c2007
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; with support from Cadence ... [et al.]
IEEE Computer Society c2006
Available at 7 libraries
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; with support from Forall Systems IBM
IEEE Computer Society c2005
Available at 11 libraries
sponsored by IEEE Technical Committee on Mathematical Foundations of Computing ; with support from Academy of Finland ... [et al.]
IEEE Computer Society c2004
Available at 12 libraries
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with Association for Symbolic Logic, European Association for Theoretical Computer Science ; with support from Fields Institute for Research in Mathematical Sciences, Le Centre de Recherches Mathématiques (CRM), University of Ottawa
IEEE Computer Society c2003
Available at 16 libraries
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with Association of Symbolic Logic, European Association for Theoretical Computer Science ; with support from US Office of Naval Research International Field Office, European Office of Aerospace Research and Development of the US Air Force Office of Scientific Research
IEEE Computer Society c2002
