default search action

combined dblp search
author search
venue search
publication search

ask others

International Workshop on Classical Logic and Computation (CL&C)

> Home > Conferences and Workshops

Venue statistics

records by year

document access Please note:
▪ This facet is still work in progress.
▪ Open access information for publications is still rather incomplete.

frequent authors

7th CL&C 2018: Oxford, UK

- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1810-05392
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1810-05392
Stefano Berardi, Alexandre Miquel:
Proceedings Seventh International Workshop on Classical Logic and Computation, CL&C 2018, Oxford (UK), 7th of July 2018. EPTCS 281, 2018 [contents]

6th CL&C 2016: Porto, Portugal

- view
  authority control:
- export record
  dblp key:
  - journals/corr/KohlenbachBB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/KohlenbachBB16
Ulrich Kohlenbach, Steffen van Bakel, Stefano Berardi:
Proceedings Sixth International Workshop on Classical Logic and Computation, CL&C 2016, Porto, Portugal , 23th June 2016. EPTCS 213, 2016 [contents]

5th CL&C 2014: Vienna, Austria

- view
  authority control:
- export record
  dblp key:
  - journals/corr/Oliva14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Oliva14
Paulo Oliva:
Proceedings Fifth International Workshop on Classical Logic and Computation, CL&C 2014, Vienna, Austria, July 13, 2014. EPTCS 164, 2014 [contents]

4th CL&C 2012: Warwick, England

- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1210-2890
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1210-2890
Herman Geuvers, Ugo de'Liguoro:
Proceedings Fourth Workshop on Classical Logic and Computation, CL&C 2012, Warwick, England, 8th July 2012. EPTCS 97, 2012 [contents]

3rd CL&C 2010: Brno, Czech Republic

- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1101-5200
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1101-5200
Steffen van Bakel, Stefano Berardi, Ulrich Berger:
Proceedings Third International Workshop on Classical Logic and Computation, CL&C 2010, Brno, Czech Republic, 21-22 August 2010. EPTCS 47, 2010 [contents]

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.