default search action

combined dblp search
author search
venue search
publication search

ask others

Theoretical Computer Science, Volume 492

> Home > Journals > Theoretical Computer Science

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 492, June 2013

Contributions

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/ChevalCD13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/ChevalCD13
Vincent Cheval, Véronique Cortier, Stéphanie Delaune:
Deciding equivalence-based properties using constraint solving. 1-39
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Kamide13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Kamide13
Norihiro Kamide:
Temporal BI: Proof system, semantics and translations. 40-69
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/KullmannZ13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/KullmannZ13
Oliver Kullmann, Xishun Zhao:
On Davis-Putnam reductions for minimally unsatisfiable clause-sets. 70-87
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/ColazzoGPS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/ColazzoGPS13
Dario Colazzo, Giorgio Ghelli, Luca Pardini, Carlo Sartiani:
Efficient asymmetric inclusion of regular expressions with interleaving and counting for XML type-checking. 88-116

Addendum

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/BreugelHMW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/BreugelHMW13
Franck van Breugel, Claudio Hermida, Michael Makkai, James Worrell:
Addendum to "Recursively defined metric spaces without contraction" [TCS 380 (1/2) (2007) 143-163]. 117-122

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.