Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Electronic Notes in Theoretical Computer Science, Volume 70

> Home > Series > Electronic Notes in Theoretical Computer Science

FLoC 2002 Satellite Events

Volume 70, Number 1, February 2003

- view
- export record
  dblp key:
  - conf/itrs/2002
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itrs/2002
Steffen van Bakel:
Intersection Types and Related Systems, ITRS 2002, FLoC Satellite Event, Copenhagen, Denmark, July 26, 2002. Electronic Notes in Theoretical Computer Science 70(1), Elsevier 2003 [contents]

Volume 70, Number 2, December 2002

- view
- export record
  dblp key:
  - conf/lfm/2002
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lfm/2002
Frank Pfenning:
International Workshop on Logical Frameworks and Meta-Languages, LFM 2002, FLoC Satellite Event, Copenhagen, Denmark, July 26, 2002. Electronic Notes in Theoretical Computer Science 70(2), Elsevier 2002 [contents]

Volume 70, Number 3, November 2002

- view
- export record
  dblp key:
  - conf/refine/2002
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/refine/2002
John Derrick, Eerke A. Boiten, Jim Woodcock, Joakim von Wright:
BCS FACS Refinement Workshop 2002, Refine 2002, Satellite Event of FLoC 2002, Copenhagen, Denmark, July 20-21, 2002. Electronic Notes in Theoretical Computer Science 70(3), Elsevier 2002 [contents]

Volume 70, Number 4, December 2002

- view
- export record
  dblp key:
  - conf/rv/2002
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/2002
Klaus Havelund, Grigore Rosu:
Runtime Verification 2002, RV 2002, FLoC Satellite Event, Copenhagen, Denmark, July 26, 2002. Electronic Notes in Theoretical Computer Science 70(4), Elsevier 2002 [contents]

Volume 70, Number 5, December 2002

- view
- export record
  dblp key:
  - conf/clima/2002
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/clima/2002
Jürgen Dix, João Alexandre Leite, Ken Satoh:
Computational Logic in Multi-Agent Systems, CLIMA 2002, FLoC Satellite Event, Copenhagen, Denmark, August 1, 2002. Electronic Notes in Theoretical Computer Science 70(5), Elsevier 2002 [contents]

Volume 70, Number 6, December 2002

- view
- export record
  dblp key:
  - conf/wrs/2002
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wrs/2002
Bernhard Gramlich, Salvador Lucas:
2nd International Workshop on Reduction Strategies in Rewriting and Programming, WRS 2002, FLoC Satellite Event, Copenhagen, Denmark, July 21, 2002, Final Proceedings. Electronic Notes in Theoretical Computer Science 70(6), Elsevier 2002 [contents]

a service of

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.