20th FoSSaCS 2017:
Uppsala, Sweden (Part of ETAPS 2017)
share record
short URL:
https://dblp.org/rec/conf/fossacs/2017 Javier Esparza ,
Andrzej S. Murawski :
Foundations of Software Science and Computation Structures - 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings. Lecture Notes in Computer Science 10203,
2017 , ISBN
978-3-662-54457-0
Coherence Spaces and Higher-Order Computation
share record
short URL:
https://dblp.org/rec/conf/fossacs/Matsumoto17 export record
dblp key:
conf/fossacs/CrubilleEPT17 share record
short URL:
https://dblp.org/rec/conf/fossacs/CrubilleEPT17 share record
short URL:
https://dblp.org/rec/conf/fossacs/Laird17 James Laird :
From Qualitative to Quantitative Semantics - By Change of Base. 36-52 share record
short URL:
https://dblp.org/rec/conf/fossacs/SinyaA0T17
share record
short URL:
https://dblp.org/rec/conf/fossacs/Boreale17 Michele Boreale :
Algebra, Coalgebra, and Minimization in Polynomial Differential Equations. 71-87 share record
short URL:
https://dblp.org/rec/conf/fossacs/Mamouras17 share record
short URL:
https://dblp.org/rec/conf/fossacs/PousR17 export record
dblp key:
conf/fossacs/SchroderKMW17 share record
short URL:
https://dblp.org/rec/conf/fossacs/SchroderKMW17
export record
dblp key:
conf/fossacs/Bruyere0PR17 share record
short URL:
https://dblp.org/rec/conf/fossacs/Bruyere0PR17 export record
dblp key:
conf/fossacs/Busatto-GastonM17 share record
short URL:
https://dblp.org/rec/conf/fossacs/Busatto-GastonM17 export record
dblp key:
conf/fossacs/BouyerHMR017 share record
short URL:
https://dblp.org/rec/conf/fossacs/BouyerHMR017 share record
short URL:
https://dblp.org/rec/conf/fossacs/AbriolaFF17
Automata, Logic and Formal Languages
export record
dblp key:
conf/fossacs/DaviaudJRV17 share record
short URL:
https://dblp.org/rec/conf/fossacs/DaviaudJRV17 share record
short URL:
https://dblp.org/rec/conf/fossacs/ChadhaS017 share record
short URL:
https://dblp.org/rec/conf/fossacs/Thiemann17 Peter Thiemann :
Partial Derivatives for Context-Free Languages - From \mu -Regular Expressions to Pushdown Automata. 248-264 share record
short URL:
https://dblp.org/rec/conf/fossacs/BouyerJ17
share record
short URL:
https://dblp.org/rec/conf/fossacs/Simpson17 Alex Simpson :
Cyclic Arithmetic Is Equivalent to Peano Arithmetic. 283-300 share record
short URL:
https://dblp.org/rec/conf/fossacs/BerardiT17
share record
short URL:
https://dblp.org/rec/conf/fossacs/BianA17 Gaoang Bian ,
Alessandro Abate :
On the Relationship Between Bisimulation and Trace Equivalence in an Approximate Probabilistic Context. 321-337 share record
short URL:
https://dblp.org/rec/conf/fossacs/DanosHGS17 share record
short URL:
https://dblp.org/rec/conf/fossacs/ClercDDG17 export record
dblp key:
conf/fossacs/BreuvartLH17 share record
short URL:
https://dblp.org/rec/conf/fossacs/BreuvartLH17
share record
short URL:
https://dblp.org/rec/conf/fossacs/SakayoriT17 share record
short URL:
https://dblp.org/rec/conf/fossacs/BaldanP17 export record
dblp key:
conf/fossacs/Cruz-FilipeLM17 share record
short URL:
https://dblp.org/rec/conf/fossacs/Cruz-FilipeLM17 share record
short URL:
https://dblp.org/rec/conf/fossacs/LangeY17
Lambda Calculus and Constructive Proof
export record
dblp key:
conf/fossacs/BlanchetteWW17 share record
short URL:
https://dblp.org/rec/conf/fossacs/BlanchetteWW17 share record
short URL:
https://dblp.org/rec/conf/fossacs/Gilbert17
Semantics and Category Theory
share record
short URL:
https://dblp.org/rec/conf/fossacs/Severi17 share record
short URL:
https://dblp.org/rec/conf/fossacs/0001SRP17 export record
dblp key:
conf/fossacs/AltenkirchDK17 share record
short URL:
https://dblp.org/rec/conf/fossacs/AltenkirchDK17 share record
short URL:
https://dblp.org/rec/conf/fossacs/Kavvos17
maintained by
, founded at