The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "LFCS"( http://dblp.L3S.de/Venues/LFCS )

URL (DBLP): http://dblp.uni-trier.de/db/conf/lfcs

Publication years (Num. hits)
1992 (47) 1994 (36) 1997 (43) 2007 (36) 2009 (32) 2013 (30) 2016 (28) 2018 (23)
Publication types (Num. hits)
inproceedings(267) proceedings(8)
Venues (Conferences, Journals, ...)
LFCS(275)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 49 occurrences of 47 keywords

Results
Found 275 publication records. Showing 275 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Hannes Diener, Robert S. Lubarsky Notions of Cauchyness and Metastability. Search on Bibsonomy LFCS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Kai Brünnler, Dandolo Flumini, Thomas Studer A Logic of Blockchain Updates. Search on Bibsonomy LFCS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Thomas Macaulay Ferguson A Gödel-Artemov-Style Analysis of Constructible Falsity. Search on Bibsonomy LFCS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Vladimir N. Krupski On the Sharpness and the Single-Conclusion Property of Basic Justification Models. Search on Bibsonomy LFCS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Alexander Zapryagaev, Fedor Pakhomov Interpretations of Presburger Arithmetic in Itself. Search on Bibsonomy LFCS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Rick Statman The Completeness of BCD for an Operational Semantics. Search on Bibsonomy LFCS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1V. Alexis Peluce From Epistemic Paradox to Doxastic Arithmetic. Search on Bibsonomy LFCS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Sam Sanders Metastability and Higher-Order Computability. Search on Bibsonomy LFCS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Silvia Ghilezan, Jelena Ivetic, Simona Kasterovic, Zoran Ognjanovic, Nenad Savic Probabilistic Reasoning About Simply Typed Lambda Terms. Search on Bibsonomy LFCS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Miika Hannula, Juha Kontinen, Jonni Virtema Polyteam Semantics. Search on Bibsonomy LFCS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Benjamin Ralph A Natural Proof System for Herbrand's Theorem. Search on Bibsonomy LFCS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Sergei N. Artëmov, Anil Nerode (eds.) Logical Foundations of Computer Science - International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8-11, 2018, Proceedings Search on Bibsonomy LFCS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Junhua Yu A Tableau System for Instantial Neighborhood Logic. Search on Bibsonomy LFCS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Antonis Achilleos The Completeness Problem for Modal Logic. Search on Bibsonomy LFCS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Valeria de Paiva, Harley Eades III Dialectica Categories for the Lambek Calculus. Search on Bibsonomy LFCS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Agata Ciabattoni, Tim Lyon, Revantha Ramanayake From Display to Labelled Proofs for Tense Logics. Search on Bibsonomy LFCS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Yanhong A. Liu, Scott D. Stoller Founded Semantics and Constraint Semantics of Logic Rules. Search on Bibsonomy LFCS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Robert S. Lubarsky Separating the Fan Theorem and Its Weakenings II. Search on Bibsonomy LFCS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Sergei Artemov Justification Awareness Models. Search on Bibsonomy LFCS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Arnon Avron, Liron Cohen 0001 A Minimal Computational Theory of a Minimal Computational Universe. Search on Bibsonomy LFCS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Lev D. Beklemishev A Universal Algebra for the Variable-Free Fragment of $${\mathrm {RC}^\nabla }$$ RC ∇. Search on Bibsonomy LFCS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Matthias Baaz, Alexander Leitsch, Anela Lolic A Sequent-Calculus Based Formulation of the Extended First Epsilon Theorem. Search on Bibsonomy LFCS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Simone Barlocco, Clemens Kupke Angluin Learning via Logic. Search on Bibsonomy LFCS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ramaswamy Ramanujam, Ramanathan S. Thinniyam Definability in First Order Theories of Graph Orderings. Search on Bibsonomy LFCS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Henrik Forssell, Håkon Robbestad Gylterud, David I. Spivak Type Theoretical Databases. Search on Bibsonomy LFCS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ioannis Kokkinis, Zoran Ognjanovic, Thomas Studer Probabilistic Justification Logic. Search on Bibsonomy LFCS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Harley Eades III, Valeria de Paiva Multiple Conclusion Linear Logic: Cut Elimination and More. Search on Bibsonomy LFCS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Tudor Protopopescu An Arithmetical Interpretation of Verification and Intuitionistic Knowledge. Search on Bibsonomy LFCS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Bernhard Heinemann Augmenting Subset Spaces to Cope with Multi-agent Knowledge. Search on Bibsonomy LFCS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Bakhadyr Khoussainov A Quest for Algorithmically Random Infinite Structures, II. Search on Bibsonomy LFCS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Iosif Petrakis The Urysohn Extension Theorem for Bishop Spaces. Search on Bibsonomy LFCS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Vladimir N. Krupski, Alexey Yatmanov Sequent Calculus for Intuitionistic Epistemic Logic IEL. Search on Bibsonomy LFCS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Shoshin Nomura, Hiroakira Ono, Katsuhiko Sano A Cut-Free Labelled Sequent Calculus for Dynamic Epistemic Logic. Search on Bibsonomy LFCS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Roman Kuznets Interpolation Method for Multicomponent Sequent Calculi. Search on Bibsonomy LFCS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Evangelia Antonakos Pairing Traditional and Generic Common Knowledge. Search on Bibsonomy LFCS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Scott Messick Compactness in the Theory of Continuous Automata. Search on Bibsonomy LFCS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Vladimir V. Rybakov Intransitive Temporal Multi-agent's Logic, Knowledge and Uncertainty, Plausibility. Search on Bibsonomy LFCS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Nathanaël Fijalkow The Online Space Complexity of Probabilistic Languages. Search on Bibsonomy LFCS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Alex Citkin Multiple Conclusion Rules in Logics with the Disjunction Property. Search on Bibsonomy LFCS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Alexey Sorokin Ogden Property for Linear Displacement Context-Free Grammars. Search on Bibsonomy LFCS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Sergei N. Artëmov, Anil Nerode (eds.) Logical Foundations of Computer Science - International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings Search on Bibsonomy LFCS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Henryk Michalewski, Matteo Mio Measure Quantifier in Monadic Second Order Logic. Search on Bibsonomy LFCS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Daniel R. Licata, Michael Shulman Adjoint Logic with a 2-Category of Modes. Search on Bibsonomy LFCS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Rick Statman Levy Labels and Recursive Types. Search on Bibsonomy LFCS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Antonis Achilleos Modal Logics with Hard Diamond-Free Fragments. Search on Bibsonomy LFCS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Robert S. Lubarsky Parallel Feedback Turing Computability. Search on Bibsonomy LFCS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Marco Devesas Campos, Marcelo P. Fiore Classical Logic with Mendler Induction - A Dual Calculus and Its Strong Normalization. Search on Bibsonomy LFCS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Max I. Kanovich, Stepan Kuznetsov, Andre Scedrov On Lambek's Restriction in the Presence of Exponential Modalities. Search on Bibsonomy LFCS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Douglas A. Cenzer, Victor W. Marek, Jeffrey B. Remmel Index Sets for Finite Normal Predicate Logic Programs with Function Symbols. Search on Bibsonomy LFCS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Sergei N. Artëmov On Aggregating Probabilistic Evidence. Search on Bibsonomy LFCS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1R. Ramanujam, Vaishnavi Sundararajan, S. P. Suresh The Complexity of Disjunction in Intuitionistic Logic. Search on Bibsonomy LFCS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Douglas Cenzer, Jeffrey B. Remmel Sub-computable Bounded Pseudorandomness. Search on Bibsonomy LFCS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Bob Milnikel The Logic of Uncertain Justifications. Search on Bibsonomy LFCS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Luca Aceto, Anna Ingólfsdóttir, Cristian Prisacariu, Joshua Sack Compositional Reasoning for Multi-modal Logics. Search on Bibsonomy LFCS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Marc Bender, Jeffery I. Zucker Assignment Calculus: A Pure Imperative Language. Search on Bibsonomy LFCS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Benoît Delahaye, Kim G. Larsen, Axel Legay Stuttering for Abstract Probabilistic Automata. Search on Bibsonomy LFCS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Konstantinos Georgatos Iterated Contraction Based on Indistinguishability. Search on Bibsonomy LFCS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Evangelia Antonakos Explicit Generic Common Knowledge. Search on Bibsonomy LFCS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Çagil Tasdemir On Tolerance Analysis of Games with Belief Revision. Search on Bibsonomy LFCS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Ping Hou, Hao Zheng Quantified Differential Temporal Dynamic Logic for Verifying Properties of Distributed Hybrid Systems. Search on Bibsonomy LFCS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Rutger Kuyper Computational Hardness of Validity in Probability Logic. Search on Bibsonomy LFCS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Alejandro Díaz-Caro, Giulio Manzonetto, Michele Pagani Call-by-Value Non-determinism in a Linear Logic Type Discipline. Search on Bibsonomy LFCS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Sebastian Wyman Conservatively Approximable Functions. Search on Bibsonomy LFCS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Robert S. Lubarsky, Hannes Diener Separating the Fan Theorem and Its Weakenings. Search on Bibsonomy LFCS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Jean-Pierre Talpin, Jens Brandt 0001, Mike Gemünde, Klaus Schneider 0001, Sandeep K. Shukla Constructive Polychronous Systems. Search on Bibsonomy LFCS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Agata Ciabattoni, Ori Lahav, Lara Spendier, Anna Zamansky Automated Support for the Investigation of Paraconsistent and Other Logics. Search on Bibsonomy LFCS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Gilles Barthe, Juan Manuel Crespo, César Kunz Beyond 2-Safety: Asymmetric Product Programs for Relational Program Verification. Search on Bibsonomy LFCS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Bruno Woltzenlogel Paleo Contextual Natural Deduction. Search on Bibsonomy LFCS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Thomas Brihaye, Julie De Pril, Sven Schewe Multiplayer Cost Games with Simple Nash Equilibria. Search on Bibsonomy LFCS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Jeroen P. Goudsmit A Note on Extensions: Admissible Rules via Semantics. Search on Bibsonomy LFCS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Alex Brik, Jeffrey B. Remmel Forward Chaining for Hybrid ASP. Search on Bibsonomy LFCS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Igor Sedlár Justifications, Awareness and Epistemic Dynamics. Search on Bibsonomy LFCS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Bernhard Heinemann Subset Space vs Relational Semantics of Bimodal Logic: Bringing Out the Difference. Search on Bibsonomy LFCS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Junhua Yu Self-referentiality in the Brouwer-Heyting-Kolmogorov Semantics of Intuitionistic Logic. Search on Bibsonomy LFCS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Jean-René Courtault, Didier Galmiche A Modal BI Logic for Dynamic Resource Properties. Search on Bibsonomy LFCS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Alexey Sorokin Normal Forms for Multiple Context-Free Languages and Displacement Lambek Grammars. Search on Bibsonomy LFCS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Jacques Duparc, Olivier Finkel, Jean-Pierre Ressayre The Wadge Hierarchy of Petri Nets ω-Languages. Search on Bibsonomy LFCS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Sergei N. Artëmov, Anil Nerode (eds.) Logical Foundations of Computer Science, International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings Search on Bibsonomy LFCS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1John Case, Sanjay Jain 0001, Frank Stephan 0001 Effectivity Questions for Kleene's Recursion Theorem. Search on Bibsonomy LFCS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Ren-June Wang Temporalizing Modal Epistemic Logic. Search on Bibsonomy LFCS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Roman Kuznets, Thomas Studer Update as Evidence: Belief Expansion. Search on Bibsonomy LFCS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Anil Seth Games on Multi-stack Pushdown Systems. Search on Bibsonomy LFCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Uwe Keller, Stijn Heymans Fuzzy Description Logic Reasoning Using a Fixpoint Algorithm. Search on Bibsonomy LFCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Victor W. Marek, Jeffrey B. Remmel Automata and Answer Set Programming. Search on Bibsonomy LFCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Pedro Baltazar, Paulo Mateus Temporalization of Probabilistic Propositional Logic. Search on Bibsonomy LFCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Robert S. Lubarsky Topological Forcing Semantics with Settling. Search on Bibsonomy LFCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF topology AMS classification 03F50, 03E70, 03C90, semantics, set theory, Constructivism
1Sergei N. Artëmov, Anil Nerode (eds.) Logical Foundations of Computer Science, International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings Search on Bibsonomy LFCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Samuel R. Buss, Roman Kuznets The NP-Completeness of Reflected Fragments of Justification Logics. Search on Bibsonomy LFCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1James Worthington A Bialgebraic Approach to Automata and Formal Language Theory. Search on Bibsonomy LFCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Amélie Gheerbrant, Balder ten Cate Complete Axiomatizations of MSO, FO(TC1)and FO(LFP1)on Finite Trees. Search on Bibsonomy LFCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Fragments of MSO, Henkin semantics, Ehrenfeucht-Fraïssé games, Feferman-Vaught theorems, Trees, Axiomatizations
1Antonio Bucciarelli, Thomas Ehrhard, Giulio Manzonetto A Relational Model of a Parallel and Non-deterministic lambda-Calculus. Search on Bibsonomy LFCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF denotational semantics, relational model, ?-calculus, non-determinism, parallel composition
1Ugo Dal Lago, Luca Roversi, Luca Vercelli Taming Modal Impredicativity: Superlazy Reduction. Search on Bibsonomy LFCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Linear logic, proof theory, implicit computational complexity
1Renata P. de Freitas, Sheila R. M. Veloso, Paulo A. S. Veloso, Jorge Petrucio Viana Positive Fork Graph Calculus. Search on Bibsonomy LFCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Positive relational calculi, fork algebras, graph calculus, completeness, decidability
1Kohtaro Tadaki Fixed Point Theorems on Partial Randomness. Search on Bibsonomy LFCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF partial randomness, Chaitin’s ? number, algorithmic information theory, thermodynamic quantities, fixed point theorem, Algorithmic randomness
1Arnon Avron, Anna Zamansky Canonical Signed Calculi, Non-deterministic Matrices and Cut-Elimination. Search on Bibsonomy LFCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Stefano Aguzzoli, Simone Bova, Vincenzo Marra Applications of Finite Duality to Locally Finite Varieties of BL-Algebras. Search on Bibsonomy LFCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF prime filters, free BL-algebras, subvarieties of BL-algebras, locally finite varieties, dualities, BL-algebras
1Eduardo Bonelli, Federico Feller The Logic of Proofs as a Foundation for Certifying Mobile Computation. Search on Bibsonomy LFCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Rosalie Iemhoff, George Metcalfe Hypersequent Systems for the Admissible Rules of Modal and Intermediate Logics. Search on Bibsonomy LFCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Carlos Areces, Santiago Figueira, Sergio Mera Completeness Results for Memory Logics. Search on Bibsonomy LFCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Elisabetta De Maria, Angelo Montanari, Nicola Vitacolonna Games on Strings with a Limited Order Relation. Search on Bibsonomy LFCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 275 (100 per page; Change: )
Pages: [1][2][3][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license