default search action

combined dblp search
author search
venue search
publication search

ask others

Theoretical Computer Science, Volume 564

> 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 564, January 2015

Contributions

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Zhang15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Zhang15
Wenhui Zhang:
Bounded semantics. 1-29
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/ConradieFPS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/ConradieFPS15
Willem Conradie, Yves Fomatati, Alessandra Palmigiano, Sumit Sourabh:
Algorithmic correspondence for intuitionistic modal mu-calculus. 30-62
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Dufourd15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Dufourd15
Jean-François Dufourd:
Formal study of functional orbits in finite domains. 63-88
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Edalat15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Edalat15
Abbas Edalat:
A derivative for complex Lipschitz maps with generalised Cauchy-Riemann equations. 89-106
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/AngiulliBP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/AngiulliBP15
Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Luigi Palopoli:
Restricted default theories: Expressive power and outlier detection tasks. 107-130
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/GiampaoloTN15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/GiampaoloTN15
Barbara Di Giampaolo, Salvatore La Torre, Margherita Napoli:
Parametric metric interval temporal logic. 131-148

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.