The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for classical with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1952-1966 (16) 1967-1970 (15) 1971-1974 (18) 1975-1977 (18) 1978-1979 (21) 1980-1982 (27) 1983-1984 (31) 1985-1986 (42) 1987 (22) 1988 (55) 1989 (47) 1990 (77) 1991 (88) 1992 (95) 1993 (118) 1994 (135) 1995 (155) 1996 (151) 1997 (230) 1998 (300) 1999 (353) 2000 (479) 2001 (552) 2002 (654) 2003 (735) 2004 (991) 2005 (1194) 2006 (1435) 2007 (1559) 2008 (1621) 2009 (1105) 2010 (325) 2011 (218) 2012 (273) 2013 (287) 2014 (308) 2015 (273) 2016 (303) 2017 (327) 2018 (354) 2019 (403) 2020 (465) 2021 (538) 2022 (601) 2023 (586) 2024 (135)
Publication types (Num. hits)
article(6348) book(36) data(1) incollection(261) inproceedings(10944) phdthesis(117) proceedings(28)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 10490 occurrences of 5373 keywords

Results
Found 17735 publication records. Showing 17735 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
59Ichiro Ogata A Proof Theoretical Account of Continuation Passing Style. Search on Bibsonomy CSL The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Classical Natural Deduction, LKQ, classical proof theory, Classical Logic, CPS-translation, Call-By-Value
45Yaoyun Shi Tensor norms and the classical communication complexity of nonlocal quantum measurement. Search on Bibsonomy STOC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF bell inequality, classical simulation, fourier sampling problem, quantum entanglement, tensor norms, communication complexity
44Samuel L. Braunstein, Hoi-Kwong Lo, Kenny Paterson, Peter Y. A. Ryan 09311 Abstracts Collection - Classical and Quantum Information Assurance Foundations and Practice. Search on Bibsonomy Classical and Quantum Information Assurance Foundations and Practice The full citation details ... 2009 DBLP  BibTeX  RDF
43Rudolf Ahlswede, Ning Cai 0001 A Strong Converse Theorem for Quantum Multiple Access Channels. Search on Bibsonomy GTIT-C The full citation details ... 2006 DBLP  DOI  BibTeX  RDF classical quantum multiple access channel, strong converse, wringing technique, non–stationary memoryless classical quantum channel
38Nicolas Gisin, Renato Renner, Stefan Wolf 0001 Linking Classical and Quantum Key Agreement: Is There a Classical Analog to Bound Entanglement? Search on Bibsonomy Algorithmica The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
38Arnon Avron, Anna Zamansky Many-Valued Non-deterministic Semantics for First-Order Logics of Formal (In)consistency. Search on Bibsonomy Algebraic and Proof-theoretic Aspects of Non-classical Logics The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
35Samuel L. Braunstein, Hoi-Kwong Lo, Kenny Paterson, Peter Y. A. Ryan (eds.) Classical and Quantum Information Assurance Foundations and Practice, 26.07. - 31.07.2009 Search on Bibsonomy Classical and Quantum Information Assurance Foundations and Practice The full citation details ... 2009 DBLP  BibTeX  RDF
35Dusko Pavlovic Geometry of abstraction in quantum computation. Search on Bibsonomy Classical and Quantum Information Assurance Foundations and Practice The full citation details ... 2009 DBLP  BibTeX  RDF
35Romain Alléaume, Norbert Lütkenhaus, Renato Renner, Philippe Grangier, Thierry Debuisschert, Gregoire Ribordy, Nicolas Gisin, Philippe Painchault, Thomas Pornin, Louis Salvail, Michel Riguidel, Andrew J. Shields, Thomas Länger, Momtchil Peev, Mehrdad Dianati, Anthony Leverrier, Andreas Poppe, Jan Bouda, Cyril Branciard, Mark Godfrey, John G. Rarity, Harald Weinfurter, Anton Zeilinger, Christian Monyk Quantum key distribution and cryptography: a survey. Search on Bibsonomy Classical and Quantum Information Assurance Foundations and Practice The full citation details ... 2009 DBLP  BibTeX  RDF
35Elsa Carvalho, Jorge Cruz 0001, Pedro Barahona Probabilistic Constraints for Inverse Problems. Search on Bibsonomy Interval / Probabilistic Uncertainty and Non-Classical Logics The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
35Yaxin Bi, Xuhui Shen, Shengli Wu 0001 Uncertainty Reasoning in Rough Knowledge Discovery. Search on Bibsonomy Interval / Probabilistic Uncertainty and Non-Classical Logics The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
35Hung T. Nguyen 0002, Olga Kosheleva, Vladik Kreinovich, Scott Ferson Trade-Off between Sample Size and Accuracy: Case of Dynamic Measurements under Interval Uncertainty. Search on Bibsonomy Interval / Probabilistic Uncertainty and Non-Classical Logics The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
35Milan Vlach Topologies of Approximation Spaces of Rough Set Theory. Search on Bibsonomy Interval / Probabilistic Uncertainty and Non-Classical Logics The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
35Shanying Xu, Xi Chen, Ai Han Interval Forecasting of Crude Oil Price. Search on Bibsonomy Interval / Probabilistic Uncertainty and Non-Classical Logics The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
35Mina Ryoke, Yoshiteru Nakamori, Van-Nam Huynh Personalized Recommendation for Traditional Crafts Using Fuzzy Correspondence Analysis with Kansei Data and OWA Operator. Search on Bibsonomy Interval / Probabilistic Uncertainty and Non-Classical Logics The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
35Tru H. Cao, Hoa Nguyen, Ma Nam Modelling and Computing with Imprecise and Uncertain Properties in Object Bases. Search on Bibsonomy Interval / Probabilistic Uncertainty and Non-Classical Logics The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
35Tho T. Quan, Tru Hoang Cao Approximating Reasoning for Fuzzy-Based Information Retrieval. Search on Bibsonomy Interval / Probabilistic Uncertainty and Non-Classical Logics The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
35Hung T. Nguyen 0002, Vladik Kreinovich Trade-Off between Sample Size and Accuracy: Case of Static Measurements under Interval Uncertainty. Search on Bibsonomy Interval / Probabilistic Uncertainty and Non-Classical Logics The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
35Hongbin Yan, Van-Nam Huynh, Yoshiteru Nakamori A Probability-Based Approach to Consumer Oriented Evaluation of Traditional Craft Items Using Kansai Data. Search on Bibsonomy Interval / Probabilistic Uncertainty and Non-Classical Logics The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
35Masahiro Inuiguchi, Yukihiro Yoshioka Several Reducts in Dominance-Based Rough Set Approach. Search on Bibsonomy Interval / Probabilistic Uncertainty and Non-Classical Logics The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
35John Harding Completions of Ordered Algebraic Structures: A Survey. Search on Bibsonomy Interval / Probabilistic Uncertainty and Non-Classical Logics The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
35Noboru Takagi Some Properties of Logic Functions over Multi-interval Truth Values. Search on Bibsonomy Interval / Probabilistic Uncertainty and Non-Classical Logics The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
35Rolf Haenni, Jan-Willem Romeijn, Gregory R. Wheeler, Jon Williamson Possible Semantics for a Common Framework of Probabilistic Logics. Search on Bibsonomy Interval / Probabilistic Uncertainty and Non-Classical Logics The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
35Hung T. Nguyen 0002 On Modeling of Uncertainty Measures and Observed Processes. Search on Bibsonomy Interval / Probabilistic Uncertainty and Non-Classical Logics The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
35Jonathan Lawry Label Semantics as a Framework for Granular Modelling. Search on Bibsonomy Interval / Probabilistic Uncertainty and Non-Classical Logics The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
35Fabio Cuzzolin Semantics of the Relative Belief of Singletons. Search on Bibsonomy Interval / Probabilistic Uncertainty and Non-Classical Logics The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
35Min Guo, Jian-Bo Yang, Kwai-Sang Chin, Hongwei Wang 0002 The Evidential Reasoning Approach for Multi-attribute Decision Analysis under Both Fuzzy and Interval Uncertainty. Search on Bibsonomy Interval / Probabilistic Uncertainty and Non-Classical Logics The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
35Hiroakira Ono An Algebraic Approach to Substructural Logics - An Overview. Search on Bibsonomy Interval / Probabilistic Uncertainty and Non-Classical Logics The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
35Alexander Karlsson, Ronnie Johansson, Sten F. Andler Imprecise Probability as an Approach to Improved Dependability in High-Level Information Fusion. Search on Bibsonomy Interval / Probabilistic Uncertainty and Non-Classical Logics The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
35Vladik Kreinovich, Gang Xiang Fast Algorithms for Computing Statistics under Interval Uncertainty: An Overview. Search on Bibsonomy Interval / Probabilistic Uncertainty and Non-Classical Logics The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
35Karin Mehr, Eberhard P. Hofer Automatic Classification for Decision Making of the Severeness of the Acute Radiation Syndrome. Search on Bibsonomy Interval / Probabilistic Uncertainty and Non-Classical Logics The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
35Jeff B. Paris, David Picado-Muiño, Michael Rosefield Information from Inconsistent Knowledge: A Probability Logic Approach. Search on Bibsonomy Interval / Probabilistic Uncertainty and Non-Classical Logics The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
35Chenyi Hu Using Interval Function Approximation to Estimate Uncertainty. Search on Bibsonomy Interval / Probabilistic Uncertainty and Non-Classical Logics The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
35Canh Hao Nguyen, Tu Bao Ho, Vladik Kreinovich Estimating Quality of Support Vector Machines Learning under Probabilistic and Interval Uncertainty: Algorithms and Computational Complexity. Search on Bibsonomy Interval / Probabilistic Uncertainty and Non-Classical Logics The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
35Carol L. Walker, Elbert A. Walker The Algebra of Truth Values of Type-2 Fuzzy Sets: A Survey. Search on Bibsonomy Interval / Probabilistic Uncertainty and Non-Classical Logics The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
35Yasuo Kudo, Tetsuya Murai, Seiki Akama A Unified Formulation of Deduction, Induction and Abduction Using Granularity Based on VPRS Models and Measure-Based Semantics for Modal Logics. Search on Bibsonomy Interval / Probabilistic Uncertainty and Non-Classical Logics The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
35Fabio Cuzzolin A Lattice-Theoretic Interpretation of Independence of Frames. Search on Bibsonomy Interval / Probabilistic Uncertainty and Non-Classical Logics The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
35Stefano Aguzzoli, Agata Ciabattoni, Brunella Gerla, Corrado Manara, Vincenzo Marra (eds.) Algebraic and Proof-theoretic Aspects of Non-classical Logics, Papers in Honor of Daniele Mundici on the Occasion of His 60th birthday Search on Bibsonomy Algebraic and Proof-theoretic Aspects of Non-classical Logics The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
35Stefan Hetzl, Alexander Leitsch Proof Transformations and Structural Invariance. Search on Bibsonomy Algebraic and Proof-theoretic Aspects of Non-classical Logics The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
35Francesc Esteva, Lluís Godo Towards the Generalization of Mundici's Gamma Functor to IMTL Algebras: The Linearly Ordered Case. Search on Bibsonomy Algebraic and Proof-theoretic Aspects of Non-classical Logics The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
35Maria Luisa Dalla Chiara, Roberto Giuntini, Roberto Leporini Reversibility and Irreversibility in Quantum Computation and in Quantum Computational Logics. Search on Bibsonomy Algebraic and Proof-theoretic Aspects of Non-classical Logics The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
35Franco Montagna Notes on Strong Completeness in Lukasiewicz, Product and BL Logics and in Their First-Order Extensions. Search on Bibsonomy Algebraic and Proof-theoretic Aspects of Non-classical Logics The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
35Beloslav Riecan Probability Theory on IF Events. Search on Bibsonomy Algebraic and Proof-theoretic Aspects of Non-classical Logics The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
35Tobias Gedell, Reiner Hähnle Verification by Parallelization of Parametric Code. Search on Bibsonomy Algebraic and Proof-theoretic Aspects of Non-classical Logics The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
35Antonio Di Nola, Mirko Navara Cantor-Bernstein Property for MV-Algebras. Search on Bibsonomy Algebraic and Proof-theoretic Aspects of Non-classical Logics The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
35Matthias Baaz Note on Conditional Constructivity. Search on Bibsonomy Algebraic and Proof-theoretic Aspects of Non-classical Logics The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
35Giovanni Panti The Automorphism Group of Falsum-Free Product Logic. Search on Bibsonomy Algebraic and Proof-theoretic Aspects of Non-classical Logics The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
35Costas A. Drossos, Panagis Karazeris A Note on Representing and Interpreting MV-Algebras. Search on Bibsonomy Algebraic and Proof-theoretic Aspects of Non-classical Logics The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
35Xavier Caicedo Implicit Operations in MV-Algebras and the Connectives of Lukasiewicz Logic. Search on Bibsonomy Algebraic and Proof-theoretic Aspects of Non-classical Logics The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
35Lawrence Peter Belluce, Antonio Di Nola, Ada Lettieri Symmetric MV-Algebras. Search on Bibsonomy Algebraic and Proof-theoretic Aspects of Non-classical Logics The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
35Sándor Jenei, Franco Montagna Rényi-Ulam Game Semantics for Product Logic and for the Logic of Cancellative Hoops. Search on Bibsonomy Algebraic and Proof-theoretic Aspects of Non-classical Logics The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
35Roberto Cignoli The Algebras of Lukasiewicz Many-Valued Logic: A Historical Overview. Search on Bibsonomy Algebraic and Proof-theoretic Aspects of Non-classical Logics The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
35Andrew M. W. Glass, Françoise Point Finitely Presented Abelian Lattice-Ordered Groups. Search on Bibsonomy Algebraic and Proof-theoretic Aspects of Non-classical Logics The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
35Petr Hájek 0001 On Fuzzy Theories with Crisp Sentences. Search on Bibsonomy Algebraic and Proof-theoretic Aspects of Non-classical Logics The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
34Yuanquan Li, Jiayin Qi, Huaying Shu A Review on the Relationship Between New Variables and Classical TAM Structure. Search on Bibsonomy CONFENIS (1) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF TAM classical structure, New variables, Variable relations, TAM
34Larisa Maksimova Definability and Interpolation in Non-Classical Logics. Search on Bibsonomy Stud Logica The full citation details ... 2006 DBLP  DOI  BibTeX  RDF interpolation, modal logic, intuitionistic logic, definability, non-classical logics, amalgamation
34Chin-Wang Tao, Jin-Shiuh Taur An approach for the robustness comparison between piecewise linear PID-like fuzzy and classical PID controllers. Search on Bibsonomy Soft Comput. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF PID-like fuzzy controller, Classical PID controller, Robustness
34Daniel C. Cole, Yi Zou Perturbation Analysis and Simulation Study of the Effects of Phase on the Classical Hydrogen Atom Interacting with Circularly Polarized Electromagnetic Radiation. Search on Bibsonomy J. Sci. Comput. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF hydrogen, Rydberg, simulation classical, nonlinear, stochastic, electrodynamics
32Liang Huang 0001, Yinan Peng, Huan Wang, Zhenyu Wu Statistical Part-of-Speech Tagging for Classical Chinese. Search on Bibsonomy TSD The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
31Heqing Chen, Yongquan Yu, Zhibin Chen Automatically Compute the Classical Filed of Matter-Element Model Based on Genetic Algorithms. Search on Bibsonomy ICITA (1) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF classical field, matter-element model, genetic algorithms
31Daniel C. Cole, Yi Zou Simulation Study of Aspects of the Classical Hydrogen Atom Interacting with Electromagnetic Radiation: Elliptical Orbits. Search on Bibsonomy J. Sci. Comput. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF hydrogen, Rydberg, classical, simulation, nonlinear, stochastic, electrodynamics
31Martin Hyland Abstract Interpretation of Proofs: Classical Propositional Calculus. Search on Bibsonomy CSL The full citation details ... 2004 DBLP  DOI  BibTeX  RDF classical propositional calculus, category theory, proof theory
31Kai Brünnler Atomic Cut Elimination for classical Logic. Search on Bibsonomy CSL The full citation details ... 2003 DBLP  DOI  BibTeX  RDF atomic cut, sequent calculus, cut elimination, natural deduction, classical logic
31Toshiaki Shoji On the computation of unipotent characters of finite classical groups. Search on Bibsonomy Appl. Algebra Eng. Commun. Comput. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF Lusztig conjecture, Unipotent characters, Classical groups
30Zena M. Ariola, Hugo Herbelin, Amr Sabry A proof-theoretic foundation of abortive continuations. Search on Bibsonomy High. Order Symb. Comput. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Callcc, Minimal logic, Intuitionistic logic, Classical logic
30Stéphane Demri, Rajeev Goré An O ((n·log n)3)-Time Transformation from Grz into Decidable Fragments of Classical First-Order Logic. Search on Bibsonomy FTP (LNCS Selection) The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
29Nicolas Gisin, Stefan Wolf 0001 Linking Classical and Quantum Key Agreement: Is There "Bound Information"? Search on Bibsonomy CRYPTO The full citation details ... 2000 DBLP  DOI  BibTeX  RDF intrinsic information, secret-key rate, quantum privacy amplification, purification, entanglement, Secret-key agreement
28Zhihu Zhang, Zuoquan Lin, Shuang Ren Quasi-Classical Model Semantics for Logic Programs - A Paraconsistent Approach. Search on Bibsonomy ISMIS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Quasi-classical logic, paraconsistent semantics, fixpoint semantics, disjunctive logic program
28James Brotherston, Cristiano Calcagno Classical BI: a logic for reasoning about dualising resources. Search on Bibsonomy POPL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF bunched implications, classical bi, display logic, semantics, completeness, cut-elimination, resource models
28Yiwei Cao, Ralf Klamma, Yan Gao, Rynson W. H. Lau, Matthias Jarke A Web 2.0 Personal Learning Environment for Classical Chinese Poetry. Search on Bibsonomy ICWL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF classical Chinese poetry, Web 2.0, mobile learning, community of practice, educational gaming, personal learning environment
28James E. Levy, Anand Ganti, Cynthia A. Phillips, Benjamin R. Hamlet, Andrew J. Landahl, Thomas M. Gurrieri, Robert D. Carr, Malcolm S. Carroll Brief announcement: the impact of classical electronics constraints on a solid-state logical qubit memory. Search on Bibsonomy SPAA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF classical electronics, logical qubit, quantum architecture, quantum information processsing
28Hirohiko Kushida, Mitsu Okada A proof-theoretic study of the correspondence of hybrid logic and classical logic. Search on Bibsonomy J. Log. Lang. Inf. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Proof theory, Hybrid logic, Classical logic
28Sylvia B. Encheva, Yuriy P. Kondratenko, Sharil Tumin, Sanjay Kumar Khattri Non-classical Logic in an Intelligent Assessment Sub-system. Search on Bibsonomy ICCSA (1) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF decision support systems, logistics, Non-classical logic
28Witold A. Pogorzelski, Piotr Wojtylak A Proof System for Classical Logic. Search on Bibsonomy Stud Logica The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Inferential rule, Consequence operation, Classical logic
28Oliver Pretzel Extended Classical Goppa Codes. Search on Bibsonomy Appl. Algebra Eng. Commun. Comput. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Classical Goppa codes, Error correction algorithms, Berlekamp-Massey algorithm, Linear block codes
28Viorica Sofronie-Stokkermans Representation Theorems and Theorem Proving in Non-Classical Logics. Search on Bibsonomy ISMVL The full citation details ... 1999 DBLP  DOI  BibTeX  RDF distributive lattices with operators, Priestley duality, many-values logics, automated theorem proving, Non-classical logics
28H. Mayr Using software sensors for migrating from classical simulation systems towards virtual worlds. Search on Bibsonomy ECBS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF classical simulation systems, distributed simulation environment, intelligent simulation environment, collision checking algorithms, graphic simulation model, virtual factory concepts, virtual reality, virtual reality, design, implementation, virtual worlds, simulation environment, object motion, software sensors
28Patrick Baillot, Vincent Danos, Thomas Ehrhard, Laurent Regnier Believe it or not, AJM's Games Model is a Model of Classical Linear Logic. Search on Bibsonomy LICS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF reduced order systems, AJM's games model, classical linear logic, general category, saturated strategies, copy games, codings
28Chan Park, Hee Sook Choi, Jin-Oh Kim, Jong Hyup Lee Next hop resolution using classical IP over ATM. Search on Bibsonomy LCN The full citation details ... 1997 DBLP  DOI  BibTeX  RDF classical IP, IP subnets, logical IP subnet, direct virtual channel connection, next hop resolution protocol, multi-protocol over ATM, inter-LIS communication, RFC1577, test-bed network, protocols, ATM, prototype systems
27Wei Zheng Teo, Marco Carmosino, Lior Horesh Creating quantum-resistant classical-classical OWFs from quantum-classical OWFs. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
27Christoph Benzmüller Combining and automating classical and non-classical logics in classical higher-order logics. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
27Dov M. Gabbay Classical vs non-classical logics (the universality of classical logic). Search on Bibsonomy Handbook of Logic in Artificial Intelligence and Logic Programming (2) The full citation details ... 1994 DBLP  BibTeX  RDF
27Hirotada Kobayashi, François Le Gall, Harumichi Nishimura, Martin Rötteler General Scheme for Perfect Quantum Network Coding with Free Classical Communication. Search on Bibsonomy ICALP (1) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
27Rahul Tripathi Complexity Upper Bounds for Classical Locally Random Reductions Using a Quantum Computational Argument. Search on Bibsonomy MFCS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
27François Le Gall Exponential separation of quantum and classical online space complexity. Search on Bibsonomy SPAA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF quantum computation, communication complexity, online, space complexity, streaming algorithms
27Ofer Arieli, Marc Denecker Modeling Paraconsistent Reasoning by Classical Logic. Search on Bibsonomy FoIKS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
25Wing-Yi Chan, Huamin Qu, Wai-Ho Mak Visualizing the Semantic Structure in Classical Music Works. Search on Bibsonomy IEEE Trans. Vis. Comput. Graph. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF Classical music, macro-micro relationship, information visualization, threads, glyph, weaving, typography
25Alessio Guglielmi, Tom Gundersen, Lutz Straßburger Breaking Paths in Atomic Flows for Classical Logic. Search on Bibsonomy LICS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF atomic flows, proof normalization, classical logic
25Brendan S. Gillon Tagging Classical Sanskrit Compounds. Search on Bibsonomy Sanskrit Computational Linguistics The full citation details ... 2009 DBLP  DOI  BibTeX  RDF A?? ?dhy? y?, Classical Sanskrit, compounds, context free rules, P??ini
25Martin Craig Serpell, Alistair R. Clark, Jim E. Smith, Andrea T. Staggemeier Pre-processing Optimisation Applied to the Classical Integer Programming Model for Statistical Disclosure Control. Search on Bibsonomy Privacy in Statistical Databases The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Cell Suppression Problem, Classical Model, Pre-processing Optimisation, External Attacker, Statistical Disclosure Control
25Germano Resconi, Boris Kovalerchuk Explanatory Model for the Break of Logic Equivalence by Irrational Agents in Elkan's Paradox. Search on Bibsonomy EUROCAST The full citation details ... 2007 DBLP  DOI  BibTeX  RDF explanatory model, logic equivalence, irrational agent, inconsistent agent, Fuzzy logic, classical logic, paradox, rational agent
25Pilar de la Torre How efficiently can room at the bottom be traded away for speed at the top? Search on Bibsonomy Nat. Comput. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF bio-molecular and classical algorithms, Covering Code Creation, randomized bio-molecular computing model, sub-exponential space and time product efficiency, k-SAT
24François Le Gall Exponential Separation of Quantum and Classical Online Space Complexity. Search on Bibsonomy Theory Comput. Syst. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Online space complexity, Quantum computation, Communication complexity
24Dusko Pavlovic Quantum and Classical Structures in Nondeterminstic Computation. Search on Bibsonomy QI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
24Sean Hallgren, Alexandra Kolla, Pranab Sen, Shengyu Zhang Making Classical Honest Verifier Zero Knowledge Protocols Secure against Quantum Attacks. Search on Bibsonomy ICALP (2) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
24Scott Aaronson, Greg Kuperberg Quantum versus Classical Proofs and Advice. Search on Bibsonomy CCC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
24Hugo Herbelin On the Degeneracy of Sigma-Types in Presence of Computational Classical Logic. Search on Bibsonomy TLCA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
24Zena M. Ariola, Hugo Herbelin Minimal Classical Logic and Control Operators. Search on Bibsonomy ICALP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
24Pieter Jonker, Jie Han 0001 On Quantum and Classical Computing with Arrays of Superconducting Persistent Current Qubits. Search on Bibsonomy CAMP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF superconducting persistent current qubits, superconducting qubit, quantum bit, quantum computing, quantum computing, quantum computer
24Hanspeter Bieri, Felix Grimm Approaching Classical Algorithms in APL2. Search on Bibsonomy APL The full citation details ... 1993 DBLP  DOI  BibTeX  RDF APL
Displaying result #1 - #100 of 17735 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license