default search action

combined dblp search
author search
venue search
publication search

ask others

Theoretical Computer Science, Volume 747

> 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 747, November 2018

- view
  authority control:
- export record
  dblp key:
  - journals/tcs/MattMPRT18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/MattMPRT18
Christian Matt, Ueli Maurer, Christopher Portmann, Renato Renner, Björn Tackmann:
Toward an algebraic theory of systems. 1-25
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/Ishii18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Ishii18
Katsumasa Ishii:
A proof of the leftmost reduction theorem for λβη-calculus. 26-32
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/KojimaKS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/KojimaKS18
Kensuke Kojima, Minoru Kinoshita, Kohei Suenaga:
Generalized homogeneous polynomials for efficient template-based nonlinear invariant synthesis. 33-47
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/BartDFLMT18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/BartDFLMT18
Anicet Bart, Benoît Delahaye, Paulin Fournier, Didier Lime, Éric Monfroy, Charlotte Truchet:
Reachability in parametric Interval Markov Chains using constraints. 48-74
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/MoggiFDT18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/MoggiFDT18
Eugenio Moggi, Amin Farjudian, Adam Duracz, Walid Taha:
Safe & robust reachability analysis of hybrid systems. 75-99
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/WeinertZ18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/WeinertZ18
Alexander Weinert, Martin Zimmermann:
Visibly linear dynamic logic. 100-117

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.