- Continuous Probability Distributions in Concurrent Games Hugo Paquet Glynn Winskel Fri 02 March 2012
- First Steps Towards a Formalization of Forcing Emmanuel Gunther Miguel Pagano Pedro Sánchez Terraf Fri 02 March 2012
- A Denotational Semantics for Low-Level Probabilistic Programs with Nondeterminism Di Wang Jan Hoffmann Thomas Reps Fri 02 March 2012
- Strong Normalization for the Simply-Typed Lambda Calculus in Constructive Type Theory Using Agda Sebastián Urciuoli Álvaro Tasistro Nora Szasz Fri 02 March 2012
- What is mathematical fuzzy logic Petr Hájek Fri 02 March 2012
- MyhilltextendashNerode type theory for fuzzy languages and automata Jelena Ignjatović Miroslav Ćirić Stojan Bogdanović Tatjana Petković Fri 02 March 2012
- Computation of the greatest simulations and bisimulations between fuzzy automata Miroslav Ćirić Jelena Ignjatović Ivana Jančić Nada Damljanović Fri 02 March 2012
- Brzozowski type determinization for fuzzy automata Zorana Jančić Miroslav Ćirić Fri 02 March 2012
- Further improvements of determinization methods for fuzzy finite automata Zorana Jančić Ivana Micić Jelena Ignjatović Miroslav Ćirić Fri 02 March 2012
- Ranks of fuzzy matrices. Applications in state reduction of fuzzy automata Aleksandar Stamenković Miroslav Ćirić Milan Bašić Fri 02 March 2012
- Iterated regret minimization: A new solution concept Joseph Y. Halpern Rafael Pass Fri 02 March 2012
- Bidding games and efficient allocations Reshef Meir Gil Kalai Moshe Tennenholtz Fri 02 March 2012
- The complexity of computing a (quasi-)perfect equilibrium for an n-player extensive form game Kousha Etessami Fri 02 March 2012
- A well-structured framework for analysing petri net extensions Alain Finkel Pierre McKenzie Claudine Picaronny Fri 02 March 2012
- The most nonelementary theory Sergei Vorobyov Fri 02 March 2012
- The complexity of finite model reasoning in description logics Carsten Lutz Ulrike Sattler Lidia Tendera Fri 02 March 2012
- Notions of bisimulation and congruence formats for SOS with data Mohammad Reza Mousavi Michel A. Reniers Jan Friso Groote Fri 02 March 2012
- Tight lower bounds for certain parameterized NP-hard problems Jianer Chen Benny Chor Mike Fellows Xiuzhen Huang David Juedes Iyad A. Kanj Ge Xia Fri 02 March 2012
- Comparing operational models of name-passing process calculi Marcelo Fiore Sam Staton Fri 02 March 2012
- Quantitative analysis of probabilistic lossy channel systems Alexander Rabinovich Fri 02 March 2012
Library Size: 13G (12948 entries),
Last Updated: Apr 11, 2026, 09:14:10,
Build Time: N/A
