Foundations of Software Science and Computation Structures
-
Foundations of Software Science and Computation Structures: Second International Conference, FOSSACS'99, Held as Part of the Joint European Conferences on...
By Wolfgang ThomasThis book constitutes the refereed proceedings of the Second International Conference on Foundations of Software Science and Computation Structures, FOSSACS '99, held in Amsterdam, The Netherlands in March 1999 as part of ETAPS'99.
-
Foundations of Software Science and Computation Structures: 7th International Conference, FOSSACS 2004, Held as Part of the Joint European Conferences...
By Igor WalukiewiczSome connections between the probabilistic polynomial-time process calculus and universal composability are discussed in [19]. A full version of the present condensed conference paper is in preparation and will be available on the web ...
-
Foundations of Software Science and Computation Structures: 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences...
By Anca MuschollSmooth and Distinctive Operators. A smooth rule is a rule that, whenever a variable is tested in a positive literal, then it is the only literal that tests that variable and the tested variable does not occur in the target of the ...
-
Foundations of Software Science and Computation Structures: 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences...
By Stefan Kiefer, Christine TassonFollowing [ 25 ] , we distinguish two versions of the eliminator : the simple and the general one . Note that this is orthogonal to the distinction between nondependent and dependent eliminators , from which we only consider the latter ...
-
Foundations of Software Science and Computation Structures: 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences...
By Andrew PittsThis book constitutes the proceedings of the 18th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2015, held in London, UK, in April 2015, as part of the European Joint Conferences on Theory ...
-
Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences...
By Christel Baier, Ugo Dal LagoThis book constitutes the proceedings of the 21st International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2018, which took place in Thessaloniki, Greece, in April 2018, held as part of the European ...
-
Foundations of Software Science and Computation Structures: 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences...
By Jean Goubault-Larrecq, Barbara KönigThis open access book constitutes the proceedings of the 23rd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part ...
-
Foundations of Software Science and Computation Structures: 7th International Conference, FOSSACS 2004, Held as Part of the Joint European Conferences...
By Spain) FOSSACS 2004This book constitutes the refereed proceedings of the 7th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2004, held in Barcelona, Spain in March/April 2004.
-
Foundations of Software Science and Computation Structures: 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences...
By Frank PfenningThis book constitutes the proceedings of the 16th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2013, held as part of the Joint European Conferences on Theory and Practice of Software, ...
-
Foundations of Software Science and Computation Structures: 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences...
By Javier Esparza, Andrzej S. MurawskiThis book constitutes the proceedings of the 20th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2017, which took place in Uppsala, Sweden in April 2017, held as Part of the European Joint ...
-
Foundations of Software Science and Computation Structures: 4th International Conference, FOSSACS 2001 Held as Part of the Joint European Conferences...
By Furio Honsell, Marino MiculanETAPS 2001 was the fourth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences.
-
Foundations of Software Science and Computation Structures: 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences...
By Patricia Bouyer, Lutz SchröderThis open access book constitutes the proceedings of the 25th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2022, which was held during April 4-6, 2022, in Munich, Germany, as part of the ...
-
Foundations of Software Science and Computation Structures: 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences...
By Bart Jacobs, Christof LödingThis book constitutes the proceedings of the 19th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2016, which took place in Eindhoven, The Netherlands, in April 2016, held as Part of the ...
-
Foundations of Software Science and Computation Structures: 4th International Conference, FOSSACS 2001 Held as Part of the Joint European Conferences...
By Furio Honsell, Marino MiculanETAPS 2001 was the fourth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences.
-
Foundations of Software Science and Computation Structures: First International Conference, FoSSaCS'98, Held as Part of the Joint European Conferences on...
By M. NivatThis book constitutes the refereed proceedings of the First International Conference on the Foundations of Software Science and Computation Structures, FoSSaCS'98, held as part of the Joint European Conferences on Theory and Practice of ...
-
Foundations of Software Science and Computation Structures: 5th International Conference, FOSSACS 2002. Held as Part of the Joint European Conferences...
By Mogens Nielsen, Uffe EngbergETAPS 2002 is the ?fth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998by combining a number of existing and new conferences.
-
Foundations of Software Science and Computation Structures
By Jean Goubault-Larrecq, Barbara KönigThis open access book constitutes the proceedings of the 23rd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part ...
-
Foundations of Software Science and Computation Structures: Second International Conference, FOSSACS'99, Held as Part of the Joint European Conferences on...
By Wolfgang Thomas... of [new/u] to (Ez P) (in case 2 is of the same type as u) is that the first disjunct (+2(P[new/u])) represents the ... u be a temporary variable of type c, and the logical variables 2 and 2' A WP-calculus for OO 143.
-
Foundations of Software Science and Computation Structures: 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences...
By Alex Simpson, Mikołaj Bojańczyk... Math. 10, 413–418 (1976) Gabbay, M.J.: Nominal algebra and the HSP theorem. J. Logic Comput. 19, 341– 367 (2009) ... New York (1976). https://doi.org/10.1007/978-1-4612-9860-1 Mardare, R., Panangaden, P., Plotkin, G.: Quantitative algebraic ...
-
Foundations of Software Science and Computation Structures: 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences...
By Orna Kupferman, Pawel Sobocinski... automata learning as black - box search and lazy partition refinement . In : Jansen , N. , Stoelinga , M. , van den Bos , P. ( eds . ) A Journey from Process Algebra via Timed Automata to Model Learning : Essays Dedicated to Frits ...