Search results for "Classical"

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