|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 120 occurrences of 107 keywords
|
|
|
Results
Found 311 publication records. Showing 311 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
126 | Takako Nemoto |
Complete Determinacy and Subsystems of Second Order Arithmetic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Logic and Theory of Algorithms, 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008, Proceedings, pp. 457-466, 2008, Springer, 978-3-540-69405-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
complete determinacy, Wadge class, second order arithmetic, reverse mathematics, infinite game, determinacy |
79 | Mingdong Feng, Charles E. Leiserson |
Efficient Detection of Determinacy Races in Cilk Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Comput. Syst. ![In: Theory Comput. Syst. 32(3), pp. 301-326, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
73 | Pedro López-García 0001, Francisco Bueno, Manuel V. Hermenegildo |
Determinacy Analysis for Logic Programs Using Mode and Type Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic Based Program Synthesis and Transformation, 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers, pp. 19-35, 2004, Springer, 3-540-26655-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Determinacy Inference, Program Analysis, Types, Modes |
64 | Andy King, Lunjin Lu, Samir Genaim |
Detecting Determinacy in Prolog Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings, pp. 132-147, 2006, Springer, 3-540-36635-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
64 | Lunjin Lu, Andy King |
Determinacy Inference for Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems, 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings, pp. 108-123, 2005, Springer, 3-540-25435-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
64 | Luc Segoufin, Victor Vianu |
Views and queries: determinacy and rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Twenty-fourth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, June 13-15, 2005, Baltimore, Maryland, USA, pp. 49-60, 2005, ACM, 1-59593-062-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
59 | Phillip B. Gibbons, Yossi Matias, Vijaya Ramachandran |
Can a Shared-Memory Model Serve as a Bridging Model for Parallel Computation? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Comput. Syst. ![In: Theory Comput. Syst. 32(3), pp. 327-359, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
58 | Victor Khomenko, Mark Schäfer, Walter Vogler |
Output-Determinacy and Asynchronous Circuit Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), 10-13 July 2007, Bratislava, Slovak Republic, pp. 147-156, 2007, IEEE Computer Society, 978-0-7695-2902-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
output-determinacy, OR-causality, decomposition, asynchronous circuits, STG |
53 | Paul R. Kosinki |
A Straightforward Denotational Semantics for Non-Determinant Data Flow Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Fifth Annual ACM Symposium on Principles of Programming Languages, Tucson, Arizona, USA, January 1978, pp. 214-221, 1978, ACM Press. The full citation details ...](Pics/full.jpeg) |
1978 |
DBLP DOI BibTeX RDF |
data flow programming, non-determinacy, denotational semantics |
49 | Yurii Khomskii |
A General Setting for the Pointwise Investigation of Determinacy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLA ![In: Logic and Its Applications, Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009. Proceedings, pp. 185-195, 2009, Springer, 978-3-540-92700-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
49 | Nathalie Bertrand 0001, Blaise Genest, Hugo Gimbert |
Qualitative Determinacy and Decidability of Stochastic Games with Signals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the 24th Annual IEEE Symposium on Logic in Computer Science, LICS 2009, 11-14 August 2009, Los Angeles, CA, USA, pp. 319-328, 2009, IEEE Computer Society, 978-0-7695-3746-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
49 | Erich Grädel |
Positional Determinacy of Infinite Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 2004, 21st Annual Symposium on Theoretical Aspects of Computer Science, Montpellier, France, March 25-27, 2004, Proceedings, pp. 4-18, 2004, Springer, 3-540-21236-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
49 | Anna Philippou, David Walker 0008 |
On Sharing and Determinacy in Concurrent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '95: Concurrency Theory, 6th International Conference, Philadelphia, PA, USA, August 21-24, 1995, Proceedings, pp. 456-470, 1995, Springer, 3-540-60218-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
49 | Evan Tick, Mark Korsloot |
Determinacy Testing for Nondeterminate Logic Programming Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 16(1), pp. 3-34, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
Andorra model, Pandora, decision graphs |
43 | E. Allen Emerson, Charanjit S. Jutla |
Tree Automata, Mu-Calculus and Determinacy (Extended Abstract) ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 32nd Annual Symposium on Foundations of Computer Science, San Juan, Puerto Rico, 1-4 October 1991, pp. 368-377, 1991, IEEE Computer Society, 0-8186-2445-0. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
infinite trees, online algorithms, decidability, finite automata, equivalence, complementation, mu-calculus, infinite games, determinacy |
39 | Patricia M. Hill, Andy King |
Determinacy and determinacy analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Program. Lang. ![In: J. Program. Lang. 5(1), pp. 135-171, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
39 | Derrick Albert DuBose |
Determinacy and Extended Sharp Functions on the Reals, Part II: Obtaining Sharps from Determinacy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 58(1), pp. 1-28, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
39 | Bruno Marnette, Floris Geerts |
Static analysis of schema-mappings ensuring oblivious termination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDT ![In: Database Theory - ICDT 2010, 13th International Conference, Lausanne, Switzerland, March 23-25, 2010, Proceedings, pp. 183-195, 2010, ACM, 978-1-60558-947-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
relative completeness, data integration, data exchange, schema mapping, determinacy |
39 | Josyula R. Rao |
Eventual determinism: using probabilistic means to achieve deterministic ends. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (2) ![In: 28th Annual Hawaii International Conference on System Sciences (HICSS-28), January 3-6, 1995, Kihei, Maui, Hawaii, USA, pp. 29-38, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
eventual determinism, eventually-determining algorithms, worst case complexity bound, parallel algorithms, computational complexity, self-stabilization, conflict resolution, deterministic algorithms, deterministic algorithms, probabilistic algorithms, randomised algorithms, symmetry breaking, determinacy, parallel algorithm design |
34 | Alan Nash, Luc Segoufin, Victor Vianu |
Determinacy and Rewriting of Conjunctive Queries Using Views: A Progress Report. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDT ![In: Database Theory - ICDT 2007, 11th International Conference, Barcelona, Spain, January 10-12, 2007, Proceedings, pp. 59-73, 2007, Springer, 3-540-69269-X. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
34 | Eryk Kopczynski |
Half-Positional Determinacy of Infinite Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP (2) ![In: Automata, Languages and Programming, 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II, pp. 336-347, 2006, Springer, 3-540-35907-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
34 | Dietmar Berwanger, Erich Grädel, Stephan Kreutzer |
Once upon a Time in a West - Determinacy, Definability, and Complexity of Path Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic for Programming, Artificial Intelligence, and Reasoning, 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings, pp. 229-243, 2003, Springer, 3-540-20101-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
34 | Mark B. Josephs |
An Analysis of Determinacy Using a Trace-Theoretic Model of Asynchronous Circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASYNC ![In: 9th International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC 2003), 12-16 May 2003, Vancouver, BC, Canada, pp. 121-131, 2003, IEEE Computer Society, 0-7695-1898-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
34 | Torben Æ. Mogensen |
A Semantics-Based Determinacy Analysis for Prolog with Cut. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ershov Memorial Conference ![In: Perspectives of System Informatics, Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25-28, 1996, Proceedings, pp. 374-385, 1996, Springer, 3-540-62064-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
30 | Elizabeth Barnes |
Indeterminacy, identity and counterparts: Evans reconsidered. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 168(1), pp. 81-96, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Vague identity, Ontic vagueness, Counterpart theory, Indeterminacy |
30 | Patrick Schaumont, Sandeep K. Shukla, Ingrid Verbauwhede |
Design with race-free hardware semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: Proceedings of the Conference on Design, Automation and Test in Europe, DATE 2006, Munich, Germany, March 6-10, 2006, pp. 571-576, 2006, European Design and Automation Association, Leuven, Belgium, 3-9810801-1-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
30 | Celine Vens, Jan Ramon, Hendrik Blockeel |
ReMauve: A Relational Model Tree Learner. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ILP ![In: Inductive Logic Programming, 16th International Conference, ILP 2006, Santiago de Compostela, Spain, August 24-27, 2006, Revised Selected Papers, pp. 424-438, 2006, Springer, 978-3-540-73846-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
30 | Patrick Schaumont, Sandeep K. Shukla, Ingrid Verbauwhede |
Extended abstract: a race-free hardware modeling language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 3rd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2005), 11-14 July 2005, Verona, Italy, Proceedings, pp. 255-256, 2005, IEEE Computer Society, 0-7803-9227-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
30 | Michael A. Bender, Jeremy T. Fineman, Seth Gilbert, Charles E. Leiserson |
On-the-fly maintenance of series-parallel relationships in fork-join multithreaded programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPAA ![In: SPAA 2004: Proceedings of the Sixteenth Annual ACM Symposium on Parallelism in Algorithms and Architectures, June 27-30, 2004, Barcelona, Spain, pp. 133-144, 2004, ACM, 1-58113-840-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
SP-bags, SP-hybrid, SP-order, least common ancestor, order maintenance, series-parallel, algorithm, parallel computing, data structure, graph, tree, mutual exclusion, thread, trace, locking, multi-threading, data race, work stealing, race detection, Cilk, parse tree, amortized analysis, fork-join, on the fly, dynamic set |
30 | Arno J. Knobbe, Arno Siebes, Bart Marseille |
Involving Aggregate Functions in Multi-relational Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PKDD ![In: Principles of Data Mining and Knowledge Discovery, 6th European Conference, PKDD 2002, Helsinki, Finland, August 19-23, 2002, Proceedings, pp. 287-298, 2002, Springer, 3-540-44037-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
30 | Marcin Jurdzinski, Orna Kupferman, Thomas A. Henzinger |
Trading Probability for Fairness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September 22-25, 2002, Proceedings, pp. 292-305, 2002, Springer, 3-540-44240-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
30 | Rong Yang, Steve Gregory |
Andorra Model Revised: Introducing Nested Domain Variables and a Targeted Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic for Programming, Artificial Intelligence, and Reasoning, 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings, pp. 610-623, 2001, Springer, 3-540-42957-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
30 | Ryo Sato |
Toward a unified theory of discrete event systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCAST ![In: Computer Aided Systems Theory - EUROCAST'95, A Selection of Papers from the Fifth International Workshop on Computer Aided Systems Theory, Innsbruck, Austria, May 22-25, 1995, Proceedings, pp. 62-72, 1995, Springer, 3-540-60748-X. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
30 | Mark Willems |
Pragmatic Semantics by Conceptual Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS ![In: Conceptual Structures: Current Practices, Second International Conference on Conceptual Structures, ICCS '94, College Park, Maryland, USA, August 16-20, 1994, Proceedings, pp. 31-44, 1994, Springer, 3-540-58328-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
30 | Huajun Quin |
Efficient Verification of Determinate Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '91, 2nd International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 26-29, 1991, Proceedings, pp. 470-479, 1991, Springer, 3-540-54430-5. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
30 | Prakash Panangaden |
McCarthy's Amb Cannot Implement Fair Merge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: Foundations of Software Technology and Theoretical Computer Science, Eighth Conference, Pune, India, December 21-23, 1988, Proceedings, pp. 348-363, 1988, Springer, 3-540-50517-2. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
30 | Gary Lindstrom |
Functional Programming and the Logical Variable. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Twelfth Annual ACM Symposium on Principles of Programming Languages, New Orleans, Louisiana, USA, January 1985, pp. 266-280, 1985, ACM Press, 0-89791-147-4. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
24 | John Strassner, Barry J. Menich, Walter Johnson |
Providing Seamless Mobility in Wireless Networks Using Autonomic Mechanisms. (PDF / PS) ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMS ![In: Inter-Domain Management, First International Conference on Autonomous Infrastructure, Management and Security, AIMS 2007, Oslo, Norway, June 21-22, 2007, Proceedings, pp. 121-132, 2007, Springer, 978-3-540-72985-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
causal determinacy, key quality indicator, data model, autonomic computing, information model, seamless mobility, key performance indicator |
24 | John Strassner, Barry J. Menich |
Philosophy and Methodology for Knowledge Discovery in Autonomic Computing Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA Workshops ![In: 16th International Workshop on Database and Expert Systems Applications (DEXA 2005), 22-26 August 2005, Copenhagen, Denmark, pp. 738-743, 2005, IEEE Computer Society, 0-7695-2424-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Causal and Developmental Morphology, Causal Determinacy, Superficial Causality, Ontology, Machine Learning, Autonomic Computing, Information Model |
24 | Tim Poston, Ankur Dhanik, Etienne Burdet, Chee Leong Teo |
Haptics of Buckling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WHC ![In: First Joint Eurohaptics Conference and Symposium on Haptic Interfaces for Virtual Environment and Teleoperator Systems, WHC 2005, Pisa, Italy, March 18-20, 2005, pp. 299-307, 2005, IEEE Computer Society, 0-7695-2310-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
buckling, catastrophe, Zeeman machine, haptic, bifurcation, determinacy |
24 | John Thornley, K. Mani Chandy |
Monotonic Counters: A New Mechanism for Thread Synchronization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: Proceedings of the 14th International Parallel & Distributed Processing Symposium (IPDPS'00), Cancun, Mexico, May 1-5, 2000, pp. 573-582, 2000, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
monotonic counter, deterministic synchronization, sequential equivalence, ragged barriers, sequential ordering, single-writer multiple-reader, mutual exclusion, thread, monotonicity, multithreaded programming, determinacy, thread synchronization |
24 | Abhik Roychoudhury, C. R. Ramakrishnan 0001, I. V. Ramakrishnan, R. Sekar 0001 |
A Conservative Technique to Improve Deterministic Evaluation of Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCL ![In: Proceedings of the 1998 International Conference on Computer Languages, ICCL 1998, Chicago, IL, USA, May 14-16, 1998, pp. 196-205, 1998, IEEE Computer Society, 0-8186-8454-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Optimization of Logic Programs, Program Specialization, Determinacy |
24 | Mikael Pettersson |
A Compiler for Natural Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CC ![In: Compiler Construction, 6th International Conference, CC'96, Linköping, Sweden, April 24-26, 1996, Proceedings, pp. 177-191, 1996, Springer, 3-540-61053-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
tailcalls, continuations, natural semantics, determinacy |
20 | Luigi Liquori, Michael Mendler |
Strong Priority and Determinacy in Timed CCS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.04618, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
20 | Logan Crone, Lior Fishman, Stephen Jackson |
Determinacy of Schmidt's Game and Other Intersection Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 88(1), pp. 1-21, March 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Michael Benedikt, Stanislav Kikot, Piotr Ostropolski-Nalewaja, Miguel Romero 0001 |
On Monotonic Determinacy and Rewritability for Recursive Queries and Views. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 24(2), pp. 16:1-16:62, April 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Feiyang Jin, Lechen Yu |
Determinacy Race Detector for Promises (Artifact). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dagstuhl Artifacts Ser. ![In: Dagstuhl Artifacts Ser. 9(2), pp. 24:1-24:2, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Martin Fischer, Matteo Zicchetti |
Internal Categoricity, Truth and Determinacy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Philos. Log. ![In: J. Philos. Log. 52(5), pp. 1295-1325, October 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Hongda Sun, Weikai Xu, Wei Liu, Jian Luan, Bin Wang, Shuo Shang, Ji-Rong Wen, Rui Yan 0001 |
From Indeterminacy to Determinacy: Augmenting Logical Reasoning Capabilities with Large Language Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2310.18659, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Patricia Bouyer, Youssouf Oualhadj, Mickael Randour, Pierre Vandenhove |
Arena-Independent Finite-Memory Determinacy in Stochastic Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 19(4), 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | William Chan 0002 |
A Lipschitz determinacy principle equivalent to weak König lemma. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 174(3), pp. 103213, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Yi-Han Xu, Qi-Ming Sun, Xiao-Ren Xu, Wen Zhou, Gang Yu |
Energy efficiency and delay determinacy tradeoff in energy harvesting-powered zero-touch deterministic industrial M2M communications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eng. Appl. Artif. Intell. ![In: Eng. Appl. Artif. Intell. 121, pp. 105997, May 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Patricia Bouyer, Mickael Randour, Pierre Vandenhove |
Characterizing Omega-Regularity through Finite-Memory Determinacy of Games on Infinite Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TheoretiCS ![In: TheoretiCS 2, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Sandra Müller |
Determinacy Axioms and Large Cardinals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLA ![In: Logic and Its Applications - 10th Indian Conference, ICLA 2023, Indore, India, March 3-5, 2023, Proceedings, pp. 68-78, 2023, Springer, 978-3-031-26688-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Feiyang Jin, Lechen Yu, Tiago Cogumbreiro, Jun Shirako, Vivek Sarkar |
Dynamic Determinacy Race Detection for Task-Parallel Programs with Promises. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: 37th European Conference on Object-Oriented Programming, ECOOP 2023, July 17-21, 2023, Seattle, Washington, United States, pp. 13:1-13:30, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-281-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Alexander Gorokhovsky, Anna Rubinchik |
Necessary and sufficient conditions for determinacy of asymptotically stationary equilibria in OLG models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Econ. Theory ![In: J. Econ. Theory 204, pp. 105496, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Ramez L. Sami |
Variations on Determinacy and ℵω1. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 87(2), pp. 721-731, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Daisuke Ikegami |
Determinacy and regularity properties for idealized forcings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Log. Q. ![In: Math. Log. Q. 68(3), pp. 310-317, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Karen Bakke Haga, David Schrittesser, Asger Törnquist |
Maximal almost disjoint families, determinacy, and forcing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Math. Log. ![In: J. Math. Log. 22(1), pp. 2150026:1-2150026:42, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Logan Crone, Lior Fishman, Stephen Jackson |
Equivalence relations and determinacy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Math. Log. ![In: J. Math. Log. 22(1), pp. 2250003:1-2250003:19, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Jaroslaw Kwiecien, Jerzy Marcinkowski, Piotr Ostropolski-Nalewaja |
Determinacy of Real Conjunctive Queries. The Boolean Case. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: PODS '22: International Conference on Management of Data, Philadelphia, PA, USA, June 12 - 17, 2022, pp. 347-358, 2022, ACM, 978-1-4503-9260-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Patricia Bouyer, Mickael Randour, Pierre Vandenhove |
Characterizing Omega-Regularity Through Finite-Memory Determinacy of Games on Infinite Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: 39th International Symposium on Theoretical Aspects of Computer Science, STACS 2022, March 15-18, 2022, Marseille, France (Virtual Conference)., pp. 16:1-16:16, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-222-8. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | S. Webber, Mike R. Jeffrey |
Loss of Determinacy at Small Scales, with Application to Multiple Timescale and Nonsmooth Dynamics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Bifurc. Chaos ![In: Int. J. Bifurc. Chaos 31(3), pp. 2150041:1-2150041:15, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Thilo Weinert |
William Chan, An introduction to combinatorics of determinacy, Trends in Set Theory (S. Coskey and G. Sargsyan, editors), Contemporary Mathematics, vol. 752, Providence, RI, American Mathematical Society, 2020, pp. 21-75. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bull. Symb. Log. ![In: Bull. Symb. Log. 27(1), pp. 91-93, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Benjamin Bordais, Patricia Bouyer, Stéphane Le Roux 0001 |
From local to global determinacy in concurrent graph games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2107.04081, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
20 | Jaroslaw Kwiecien, Jerzy Marcinkowski, Piotr Ostropolski-Nalewaja |
Determinacy of Real Conjunctive Queries. The Boolean Case. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2112.12742, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
20 | Patricia Bouyer, Mickael Randour, Pierre Vandenhove |
Characterizing Omega-Regularity through Finite-Memory Determinacy of Games on Infinite Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2110.01276, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
20 | Patricia Bouyer, Youssouf Oualhadj, Mickael Randour, Pierre Vandenhove |
Arena-Independent Finite-Memory Determinacy in Stochastic Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2102.10104, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
20 | Tingting Zhang, Dong Chen, Yazhou Han, Manjun Ma |
Linear determinacy of the minimal wave speed of a model describing tissue degradation by bacteria. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Lett. ![In: Appl. Math. Lett. 121, pp. 107044, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Milad Aghajohari, Guy Avni, Thomas A. Henzinger |
Determinacy in Discrete-Bidding Infinite-Duration Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 17(1), 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
20 | Nam Trang, Trevor M. Wilson |
Determinacy from strong compactness of ω1. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 172(6), pp. 102944, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Fabiana Castiblanco, Philipp Schlicht |
Preserving levels of projective determinacy by tree forcings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 172(4), pp. 102918, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Fangfang Dong, Xiaomin Zhao, Ye-Hwa Chen |
Optimal Longitudinal Control for Vehicular Platoon Systems: Adaptiveness, Determinacy, and Fuzzy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Fuzzy Syst. ![In: IEEE Trans. Fuzzy Syst. 29(4), pp. 889-903, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Shuang Li 0008, Fangrui Lv, Binhui Xie, Chi Harold Liu, Jian Liang, Chen Qin |
Bi-Classifier Determinacy Maximization for Unsupervised Domain Adaptation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Thirty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2021, Thirty-Third Conference on Innovative Applications of Artificial Intelligence, IAAI 2021, The Eleventh Symposium on Educational Advances in Artificial Intelligence, EAAI 2021, Virtual Event, February 2-9, 2021, pp. 8455-8464, 2021, AAAI Press, 978-1-57735-866-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Patricia Bouyer, Youssouf Oualhadj, Mickael Randour, Pierre Vandenhove |
Arena-Independent Finite-Memory Determinacy in Stochastic Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: 32nd International Conference on Concurrency Theory, CONCUR 2021, August 24-27, 2021, Virtual Conference., pp. 26:1-26:18, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-203-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Benjamin Bordais, Patricia Bouyer, Stéphane Le Roux 0001 |
From Local to Global Determinacy in Concurrent Graph Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2021, December 15-17, 2021, Virtual Conference., pp. 41:1-41:14, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-215-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Yifan Xu 0007, Kunal Agrawal, I-Ting Angelina Lee |
Efficient Parallel Determinacy Race Detection for Structured Futures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPAA ![In: SPAA '21: 33rd ACM Symposium on Parallelism in Algorithms and Architectures, Virtual Event, USA, 6-8 July, 2021, pp. 398-409, 2021, ACM, 978-1-4503-8070-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Jared Warren, Daniel Waxman 0001 |
A metasemantic challenge for mathematical determinacy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 197(2), pp. 477-495, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Juan P. Aguilera 0001, Sandra Müller |
The Consistency strength of Long Projective Determinacy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 85(1), pp. 338-366, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Jun Lu, Huagang Xiong, Feng He, Rongwei Wang |
Enhancing Real-Time and Determinacy for Network-Level Schedule in Distributed Mixed-Critical System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 8, pp. 23720-23731, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Raphaël Carroy, Andrea Medini, Sandra Müller |
Every zero-dimensional homogeneous space is strongly homogeneous under determinacy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Math. Log. ![In: J. Math. Log. 20(3), pp. 2050015:1-2050015:28, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Sandra Müller, Ralf Schindler, W. Hugh Woodin |
Mice with finitely many Woodin cardinals from optimal determinacy hypotheses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Math. Log. ![In: J. Math. Log. 20(Supplement-1), pp. 1950013:1-1950013:118, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Shuang Li 0008, Fangrui Lv, Binhui Xie, Chi Harold Liu, Jian Liang, Chen Qin |
Bi-Classifier Determinacy Maximization for Unsupervised Domain Adaptation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2012.06995, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
20 | Michael Benedikt, Stanislav Kikot, Piotr Ostropolski-Nalewaja, Miguel Romero 0001 |
On monotonic determinacy and rewritability for recursive queries and views. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2003.05898, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
20 | Zhe Huang, Chunhua Ou |
Speed Determinacy of Traveling Waves to a Stream-Population Model with Allee Effect. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Appl. Math. ![In: SIAM J. Appl. Math. 80(4), pp. 1820-1840, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Michael Benedikt, Stanislav Kikot, Piotr Ostropolski-Nalewaja, Miguel Romero 0001 |
On Monotonic Determinacy and Rewritability for Recursive Queries and Views. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the 39th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, PODS 2020, Portland, OR, USA, June 14-19, 2020., pp. 131-148, 2020, ACM, 978-1-4503-7108-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Jerzy Marcinkowski |
What Makes a Variant of Query Determinacy (Un)Decidable? (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDT ![In: 23rd International Conference on Database Theory, ICDT 2020, March 30-April 2, 2020, Copenhagen, Denmark., pp. 2:1-2:20, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-139-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Roy Overbeek |
Formalizing determinacy of concurrent revisions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPP ![In: Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2020, New Orleans, LA, USA, January 20-21, 2020., pp. 258-269, 2020, ACM, 978-1-4503-7097-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Yifan Xu 0007, Kyle Singer, I-Ting Angelina Lee |
Parallel determinacy race detection for futures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPoPP ![In: PPoPP '20: 25th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, San Diego, California, USA, February 22-26, 2020, pp. 217-231, 2020, ACM, 978-1-4503-6818-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Stéphane Le Roux 0001 |
Memoryless determinacy of infinite parity games: Another simple proof. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 143, pp. 8-13, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | S. Webber, Mike R. Jeffrey |
Micro-Slip as a Loss of Determinacy in Dry-Friction Oscillators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Bifurc. Chaos ![In: Int. J. Bifurc. Chaos 29(6), pp. 1930015:1-1930015:21, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Sandra Müller |
The axiom of determinacy implies dependent choice in mice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Log. Q. ![In: Math. Log. Q. 65(3), pp. 370-375, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Roy Overbeek |
Formalizing Determinacy of Concurrent Revisions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1912.09741, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
20 | Milad Aghajohari, Guy Avni, Thomas A. Henzinger |
Determinacy in Discrete-Bidding Infinite-Duration Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1905.03588, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
20 | Sherwood Hachtman |
Determinacy separations for class games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 58(5-6), pp. 635-648, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Grzegorz Gluch, Jerzy Marcinkowski, Piotr Ostropolski-Nalewaja |
The First Order Truth Behind Undecidability of Regular Path Queries Determinacy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDT ![In: 22nd International Conference on Database Theory, ICDT 2019, March 26-28, 2019, Lisbon, Portugal, pp. 15:1-15:18, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-101-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Milad Aghajohari, Guy Avni, Thomas A. Henzinger |
Determinacy in Discrete-Bidding Infinite-Duration Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: 30th International Conference on Concurrency Theory, CONCUR 2019, August 27-30, 2019, Amsterdam, the Netherlands., pp. 20:1-20:17, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-121-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis |
Mechanically Proving Determinacy of Hierarchical Block Diagram Translations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMCAI ![In: Verification, Model Checking, and Abstract Interpretation - 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, Proceedings, pp. 577-600, 2019, Springer, 978-3-030-11244-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Serge Haddad |
Memoryless determinacy of finite parity games: Another simple proof. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 132, pp. 19-21, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Sandra Müller |
Pure and Hybrid Mice with Finitely Many Woodin Cardinals from Levels of Determinacy Westfälische Wilhelms-Universität Münster, Germany, 2016. Supervised by Ralf-Dieter Schindler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bull. Symb. Log. ![In: Bull. Symb. Log. 24(2), pp. 198, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 311 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ >>] |
|