 |
LNCS 4514 - Density Elimination and Rational Completeness for First-Order Logics by Agata Ciabattoni & George Metcalfe566.5 KB - 16 Oct, 2020 Tags=[Logical Foundations of Computer Science]
|
 |
LNCS 4514 - Explicit Proofs in Formal Provability Logic by Evan Goris397.8 KB - 16 Oct, 2020 Tags=[Logical Foundations of Computer Science]
|
 |
LNCS 4514 - Generalized Non-deterministic Matrices and (n,k)-ary Quantifiers by Arnon Avron & Anna Zamansky543.3 KB - 16 Oct, 2020 Tags=[Logical Foundations of Computer Science]
|
 |
LNCS 4514 - Hypersequent Calculus for Intuitionistic Logic with Classical Atoms by Hidenori Kurokawa463.9 KB - 16 Oct, 2020 Tags=[Logical Foundations of Computer Science]
|
 |
LNCS 4514 - Including the Past in ‘Topologic’ by Bernhard Heinemann465.1 KB - 16 Oct, 2020 Tags=[Logical Foundations of Computer Science]
|
 |
LNCS 4514 - On Complexity of Ehrenfeucht-Fraïssé Games by Bakhadyr Khoussainov & Jiamou Liu263.3 KB - 16 Oct, 2020 Tags=[Logical Foundations of Computer Science]
|
 |
LNCS 4514 - Justified and Common Knowledge: Limited Conservativity by Evangelia Antonakos370.4 KB - 16 Oct, 2020 Tags=[Logical Foundations of Computer Science]
|
 |
LNCS 4514 - On Decidability and Expressiveness of Propositional Interval Neighborhood Logics by Davide Bresolin, Valentin Goranko, Angelo Montanari & Guido Sciavicco493.9 KB - 16 Oct, 2020 Tags=[Logical Foundations of Computer Science]
|
 |
LNCS 4514 - The Law of the Iterated Logarithm for Algorithmically Random Brownian Motion by Bjørn Kjos-Hanssen & Anil Nerode314.3 KB - 16 Oct, 2020 Tags=[Logical Foundations of Computer Science]
|
 |
LNCS 4514 - Topological Semantics and Bisimulations for Intuitionistic Modal Logics and Their Classical Companion Logics by J. M. Davoren620.9 KB - 16 Oct, 2020 Tags=[Logical Foundations of Computer Science]
|
 |
LNCS 4514 - Weighted Distributed Systems and Their Logics by Benedikt Bollig & Ingmar Meinecke574.5 KB - 16 Oct, 2020 Tags=[Logical Foundations of Computer Science]
|
 |
LNCS 4557 - Computer Classification of Injury Narratives Using a Fuzzy Bayes Approach: Improving the Model by Helen R. Marucci, Mark R. Lehto & Helen L. Corns262.6 KB - 16 Oct, 2020 Tags=[Human Interface and the Management of Information]
|
 |
LNCS 4557 - Folksonomy-Based Collaborative Tagging System for Classifying Visualized Information in Design Practice by Hyun-oh Jung, Min-shik Son & Kun-pyo Lee1 MB - 16 Oct, 2020 Tags=[Human Interface and the Management of Information]
|
 |
LNCS 4557 - Towards a Metrics-Based Framework for Assessing Comprehension of Software Visualization Systems by Harkirat Kaur Padda, Ahmed Seffah & Sudhir Mudur404.1 KB - 16 Oct, 2020 Tags=[Human Interface and the Management of Information]
|
 |
LNCS 4557 - Signposts to Tomorrow’s Human-Computer Interaction by Hans-Jörg Bullinger, Dieter Spath & Matthias Peissner140.6 KB - 16 Oct, 2020 Tags=[Human Interface and the Management of Information]
|
 |
LNCS 4558 - Context Aware Human Computer Interaction for Ubiquitous Learning by Chulho Jeong & Eunseok Lee255.8 KB - 16 Oct, 2020 Tags=[Human Interface and the Management of Information]
|
 |
LNCS 4564 - How to See the Beauty That Is Not There : The Aesthetic Element of Programming in the Computer- Based Media Art by Hyunkyoung Cho & Joonsung Yoon2 MB - 16 Oct, 2020 Tags=[Online Communities and Social Computing]
|
 |
LNCS 4664 - Encapsulating Reaction-Diffusion Computers by Andrew Adamatzky10.7 MB - 16 Oct, 2020 Tags=[and Universality, Computations, Machines]
|
 |
LNCS 4592 - A Computer Science Electronic Dictionary for NOOJ by Farida Aoughlis236.7 KB - 16 Oct, 2020 Tags=[Natural Language Processing and Information Systems]
|
 |
LNCS 4708 - A Linear Time Algorithm for the <TEX>{\itshape k}</TEX> Maximal Sums Problem by Gerth Stølting Brodal & Allan Grønlund Jørgensen536.8 KB - 16 Oct, 2020 Tags=[Mathematical Foundations of Computer Science 2007]
|
 |
LNCS 4708 - A Lower Bound of 1?+?<TEX>$\phi$</TEX> for Truthful Scheduling Mechanisms by Elias Koutsoupias & Angelina Vidali398.4 KB - 16 Oct, 2020 Tags=[Mathematical Foundations of Computer Science 2007]
|
 |
LNCS 4708 - Adapting Parallel Algorithms to the W-Stream Model, with Applications to Graph Problems by Camil Demetrescu, Bruno Escoffier, Gabriel Moruz & Andrea Ribichini396.7 KB - 16 Oct, 2020 Tags=[Mathematical Foundations of Computer Science 2007]
|
 |
LNCS 4708 - Communication in Networks with Random Dependent Faults by Evangelos Kranakis, Michel Paquette & Andrzej Pelc433.7 KB - 16 Oct, 2020 Tags=[Mathematical Foundations of Computer Science 2007]
|
 |
LNCS 4708 - Dynamic Matchings in Convex Bipartite Graphs by Gerth Stølting Brodal, Loukas Georgiadis, Kristoffer Arnsfelt Hansen & Irit Katriel447.5 KB - 16 Oct, 2020 Tags=[Mathematical Foundations of Computer Science 2007]
|
 |
LNCS 4708 - Efficient Provably-Secure Hierarchical Key Assignment Schemes by Alfredo De Santis, Anna Lisa Ferrara & Barbara Masucci473.1 KB - 16 Oct, 2020 Tags=[Mathematical Foundations of Computer Science 2007]
|