default search action

combined dblp search
author search
venue search
publication search

ask others

DICE-FOPARA 2019: Prague, Czech Republic

> Home > Conferences and Workshops > DICE
> Home > Conferences and Workshops > FOPARA

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1908-04478
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1908-04478
Thomas Seiller, Steffen Jost:
Proceedings Third Joint Workshop on Developments in Implicit Computational complExity and Foundational & Practical Aspects of Resource Analysis, DICE-FOPARA@ETAPS 2019, Prague, Czech Republic, April 6-7, 2019. EPTCS 298, 2019
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1908-05737
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1908-05737
Francesco Olivieri, Guido Governatori, Claudio Tomazzoli, Matteo Cristani:
Applications of Linear Defeasible Logic: combining resource consumption and exceptions to energy management and business processes. 1-14
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1908-04921
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1908-04921
Lê Thành Dung Nguyên:
On the Elementary Affine Lambda-Calculus with and Without Fixed Points. 15-29
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1908-04922
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1908-04922
Paulin Jacobé de Naurois:
Pointers in Recursion: Exploring the Tropics. 31-45
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1908-06478
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1908-06478
Franz Siglmüller:
Type-Based Resource Analysis on Haskell. 47-60
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1908-04923
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1908-04923
Bruce M. Kapron, Florian Steinberg:
Type-two Iteration with Bounded Query Revision. 61-73

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.