A coalgebraic treatment of conditional transition systems with upgrades 由 Harsh Beohar, Barbara König, Sebastian Küpper, Alexandra Silva, Thorsten Wißmann

“...Logical Methods in Computer Science e.V....”
獲取全文

Representing Continuous Functions between Greatest Fixed Points of Indexed Containers 由 Pierre Hyvernat

“...Logical Methods in Computer Science e.V....”
獲取全文

Refinement and Difference for Probabilistic Automata 由 Benoît Delahaye, Uli Fahrenberg, Kim G. Larsen, Axel Legay

“...Logical Methods in Computer Science e.V....”
獲取全文

Proper Functors and Fixed Points for Finite Behaviour 由 Stefan Milius

“...Logical Methods in Computer Science e.V....”
獲取全文

Answer Counting under Guarded TGDs 由 Cristina Feier, Carsten Lutz, Marcin Przybyłko

“...Logical Methods in Computer Science e.V....”
獲取全文

The Theory of Traces for Systems with Nondeterminism, Probability, and Termination 由 Filippo Bonchi, Ana Sokolova, Valeria Vignudelli

“...Logical Methods in Computer Science e.V....”
獲取全文

Globular: an online proof assistant for higher-dimensional rewriting 由 Bar, K, Kissinger, A, Vicary, J

“...Logical Methods in Computer Science e.V....”