The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1936-1940 (15) 1941-1947 (15) 1948-1952 (18) 1953-1956 (18) 1957-1958 (15) 1959 (19) 1960 (36) 1961 (48) 1962 (62) 1963 (63) 1964 (63) 1965 (64) 1966 (60) 1967 (75) 1968 (79) 1969 (84) 1970 (90) 1971 (110) 1972 (168) 1973 (153) 1974 (166) 1975 (196) 1976 (180) 1977 (218) 1978 (190) 1979 (227) 1980 (200) 1981 (218) 1982 (233) 1983 (310) 1984 (387) 1985 (403) 1986 (615) 1987 (715) 1988 (915) 1989 (919) 1990 (1173) 1991 (1293) 1992 (1455) 1993 (1671) 1994 (1823) 1995 (1837) 1996 (1689) 1997 (1791) 1998 (1830) 1999 (1956) 2000 (2169) 2001 (2274) 2002 (2311) 2003 (2859) 2004 (3317) 2005 (3929) 2006 (3813) 2007 (4440) 2008 (4112) 2009 (3906) 2010 (2590) 2011 (2761) 2012 (2704) 2013 (2852) 2014 (2840) 2015 (2981) 2016 (2527) 2017 (2756) 2018 (2652) 2019 (365)
Publication types (Num. hits)
article(28770) book(332) incollection(1236) inproceedings(50529) phdthesis(535) proceedings(621)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 33636 occurrences of 7522 keywords

Results
Found 82025 publication records. Showing 82023 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
70Karl M. Fant, Scott A. Brandt NULL Convention Logic/sup TM/: A Complete And Consistent Logic For Asynchronous Digital Circuit Synthesis. Search on Bibsonomy ASAP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF consistent logic, asynchronous digital circuit synthesis, symbolically complete logic, asynchronous digital circuits, asynchronous circuits, multivalued logic, three value logic, Boolean logic, NULL Convention Logic, four value logic
68Churn-Jung Liau An Overview of Hybrid Possibilistic Reasoning. Search on Bibsonomy RSFDGrC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Qualitative possibility logic, Graded modal logic, Description Logic, Hybrid logic, Possibilistic logic
63José Monteiro, John Rinderknecht, Srinivas Devadas, Abhijit Ghosh Optimization of combinational and sequential logic circuits for low power using precomputation. Search on Bibsonomy ARVLSI The full citation details ... 1995 DBLP  DOI  BibTeX  RDF sequential logic circuits, low power optimisation, logic optimization technique, precomputation architectures, logic synthesis methods, transmission gates, transparent latches, switching activity reduction, power dissipation reduction, VLSI, logic design, sequential circuits, combinational circuits, integrated circuit design, CMOS logic circuits, circuit optimisation, precomputation, combinational logic circuits, clock cycle
63Ruchir Puri, Andrew Bjorksten, Thomas E. Rosser Logic optimization by output phase assignment in dynamic logic synthesis. Search on Bibsonomy ICCAD The full citation details ... 1996 DBLP  DOI  BibTeX  RDF dynamic logic synthesis, logic duplication, minimum logic duplication penalty, output phase assignment, logic design, heuristic algorithms, optimal algorithms, domino logic, logic optimization, area overhead, logic functions, inverters
57Françoise Debart, Patrice Enjalbert, Madeleine Lescot Multi-Modal Logic Programming using Equational and Order-Sorted Logic. Search on Bibsonomy ALP The full citation details ... 1990 DBLP  DOI  BibTeX  RDF Order-sorted Logic, Equationnal Methods, E-Resolution, Logic Programming, Modal Logic, Unification
56Alioune Ngom, Corina Reischer, Ivan Stojmenovic Classification of Functions and Enumeration of Bases of Set Logic under Boolean Compositions. Search on Bibsonomy ISMVL The full citation details ... 1995 DBLP  DOI  BibTeX  RDF set logic bases enumeration, functions classification, Boolean compositions, r-valued set logic, n-tuples, B-maximal sets, set logic, one-place example function, one-place set logic functions, B-Sheffer functions, Boolean functions, Boolean functions, set theory, multivalued logic
51Luc De Raedt Probabilistic Logic Learning - A Tutorial Abstract. Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF probabilistic logic learning, logic and learning, logic programming, inductive logic programming, statistical relational learning
49Hans Jürgen Ohlbach New Ways for Developing Proof Theories for First-Order Multi Modal Logics. Search on Bibsonomy CSL The full citation details ... 1989 DBLP  DOI  BibTeX  RDF Automated Theorem Proving by Translation and Refutation, Nonclassical Logics, Process Logic, Action Logic, Temporal Logic, Modal Logic, Resolution, Epistemic Logic
47Thomas Lukasiewicz Probabilistic logic programming with conditional constraints. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF conditional constraint, quantitative deduction, computational complexity, logic programming, probability, uncertainty, many-valued logic, probabilistic reasoning, probabilistic logic, probabilistic logic programming
46Christian Retoré, Pomset Logic A Non-commutative Extension of Classical Linear Logic. Search on Bibsonomy TLCA The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
46Seiki Akama Three-Valued Constructive Logic and Logic Programs. Search on Bibsonomy ISMVL The full citation details ... 1995 DBLP  DOI  BibTeX  RDF three-valued constructive logic, three valued constructive logic, strong negation 3N, N completion, intuitive semantics, N completion semantics, computational complexity, semantics, logic programming, logic programs, ternary logic, model theory, strong negation, negation as failure
45Timothy J. McBrayer, Philip A. Wilsey Process combination to increase event granularity in parallel logic simulation. Search on Bibsonomy IPPS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF event granularity, VHDL description, parallel processing, logic CAD, circuit analysis computing, logic circuits, logic circuits, symmetric multiprocessors, logic simulation, digital system design, parallel logic simulation, parallel logic simulators
44Noboru Takagi, Kyoichi Nakashima, Masao Mukaidono A Necessary and Sufficient Condition for Lukasiewicz Logic Functions. Search on Bibsonomy ISMVL The full citation details ... 1996 DBLP  DOI  BibTeX  RDF Lukasiewicz logic functions, Lukasiewicz multiple-valued logic, Lukasiewicz implication, logic design, multivalued logic, negation, multiple-valued functions, multiple-valued logic design
44Carlos Viegas Damásio, Luís Moniz Pereira Monotonic and Residuated Logic Programs. Search on Bibsonomy ECSQARU The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Logic Programming, Many-valued logics, Possibilistic Logic
44Georg Gottlob Translating Default Logic into Standard Autoepistemic Logic. Search on Bibsonomy J. ACM The full citation details ... 1995 DBLP  DOI  BibTeX  RDF nonmonotonic modal logic, reasoning, translation, default logic, autoepistemic logic
44Aiqun Cao, Naran Sirisantana, Cheng-Kok Koh, Kaushik Roy 0001 Synthesis of skewed logic circuits. Search on Bibsonomy ACM Trans. Design Autom. Electr. Syst. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Skewed logic, optimization, synthesis, power
43Luc De Raedt Statistical Relational Learning: An Inductive Logic Programming Perspective. Search on Bibsonomy PKDD The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
43Juha Kontinen, Ville Nurmi Team Logic and Second-Order Logic. Search on Bibsonomy WoLLIC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
42Rostislav Horcík, Petr Cintula Product L ukasiewicz Logic. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF u logic, Takeuti, Titani logic, product MV-algebra, fuzzy logic, logic, many-valued logic, MV-algebra
42Di Shi, Daniel J. Tylavsky, Kristian M. Koellner, Naim Logic, David E. Wheeler Transmission line parameter identification using PMU measurements. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
42Di Shi, Daniel J. Tylavsky, Naim Logic An Adaptive Method for Detection and Correction of Errors in PMU Measurements. Search on Bibsonomy IEEE Trans. Smart Grid The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
42Torben Braüner Axioms for classical, intuitionistic, and paraconsistent hybrid logic. Search on Bibsonomy Journal of Logic, Language and Information The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Axiom systems, Modal logic, Paraconsistent logic, Intuitionistic logic, Hybrid logic, Strong negation, Constructive logic
42Alioune Ngom, Corina Reischer, Dan A. Simovici, Ivan Stojmenovic Completeness Criteria in Set-Valued Logic Under Compositions with Union and Intersection. Search on Bibsonomy ISMVL The full citation details ... 1997 DBLP  DOI  BibTeX  RDF completeness criteria, set-valued logic, Boolean completeness problems, r-valued set logic, logic of functions, n-tuples, set logic circuits, S-complete, U-maximal sets, completeness criterion, U functions, compositions, Boolean functions, Boolean functions, intersection, union
42E. Allen Emerson, Joseph Y. Halpern "Sometimes" and "Not Never" Revisited: On Branching Versus Linear Time. Search on Bibsonomy POPL The full citation details ... 1983 DBLP  DOI  BibTeX  RDF
40Kyeonghoon Koo, Wook Hyun Kwon Worst-case timing prediction of relay ladder logic by constraint analysis. Search on Bibsonomy RTCSA The full citation details ... 1996 DBLP  DOI  BibTeX  RDF worst-case timing prediction, relay ladder logic, boolean logic equations, logic equations, complexity, logic programming, logic programming, application programs, constraint analysis
40Santanu Chattopadhyay, Samir Roy, Parimal Pal Chaudhuri Technology mapping on a multi-output logic module built around Cellular Automata Array for a new FPGA architecture. Search on Bibsonomy VLSI Design The full citation details ... 1995 DBLP  DOI  BibTeX  RDF multi-output logic module, cellular automata array, design turn-around time, field programmability, rapid circuit realization, logic blocks, AND-XOR based logic, library based technology mapping technique, MCNC benchmarks, field programmable gate arrays, VLSI, cellular automata, logic CAD, testability, technology mapping, multivalued logic circuits, FPGA architecture
40Ashvin Radiya, Robert G. Sargent A Logic-based Foundation of Discrete Event Modeling and Simulation. Search on Bibsonomy ACM Trans. Model. Comput. Simul. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF logic of events and actions, logic of procedural programming, quantifiers logic, simulation procedure, time flow mechanism, temporal logic, discrete event simulation, logic, model-theoretic semantics, discrete event modeling
40Joshua Sack Temporal Languages for Epistemic Programs. Search on Bibsonomy Journal of Logic, Language and Information The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Public announcement logic, Games, Temporal logic, Modal logic, Epistemic logic, Dynamic epistemic logic
39Marc Denecker, Eugenia Ternovska A logic of nonmonotone inductive definitions. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF logic programming, classical logic, Inductive definitions
39Anthony J. Bonner, Michael Kifer Results on Reasoning about Updates in Transaction Logic. Search on Bibsonomy Transactions and Change in Logic Databases The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
39Guoping Du, Hongguang Wang, Jie Shen Oppositional Logic. Search on Bibsonomy LORI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF oppositional logic, intuitionism, negation, paraconsistent
39Peter A. Flach, Nada Lavrac Learning in Clausal Logic: A Perspective on Inductive Logic Programming. Search on Bibsonomy Computational Logic: Logic Programming and Beyond The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
38Mostafa H. Abd-El-Barr, M. N. Hasan New MVL-PLA Structures Based on Current-Mode CMOS Technology. Search on Bibsonomy ISMVL The full citation details ... 1996 DBLP  DOI  BibTeX  RDF MVL-PLA structures, current-mode CMOS technology, PLA structures, min, tsum, constants, r-valued one-variable functions, type-C PLA, type-A PLA, type-B PLA, cyclic generator blocks, programmable logic arrays, programmable logic arrays, CMOS logic circuits, cycle, multivalued logic circuits, multivalued logic circuits, current-mode logic
38Rajeev Murgai, Masahiro Fujita, Fumiyasu Hirose Logic synthesis for a single large look-up table. Search on Bibsonomy ICCD The full citation details ... 1995 DBLP  DOI  BibTeX  RDF single large look-up table, LUT-based field-programmable gate array architectures, simulation time minimisation, compile-code, software simulation, field programmable gate arrays, Boolean function, logic design, logic synthesis, hardware accelerator, programmable logic arrays, table lookup, logic simulation, FPGA architectures, logic functions, on-chip memory, memory constraint
38Peter Verdée, Stephan van der Waart van Gulik A Generic Framework for Adaptive Vague Logics. Search on Bibsonomy Studia Logica The full citation details ... 2008 DBLP  DOI  BibTeX  RDF supervaluationism, subvaluationism, clarity logic, dynamic proofs, fuzzy logic, vagueness, adaptive logic
37Glenn Jennings Accurate ternary-valued compiled logic simulation of complex logic networks by OTDD composition. Search on Bibsonomy Annual Simulation Symposium The full citation details ... 1995 DBLP  DOI  BibTeX  RDF circuit diagrams, ternary-valued compiled logic simulation, complex logic networks, OTDD composition, combinational U inaccuracies, reconvergent fanout, Kleenean strong ternary logic, Ordered Ternary Decision Diagram, standard ISCAS 85 benchmarks, performance evaluation, logic CAD, digital simulation, circuit analysis computing, ternary logic, incompletely-specified functions
37Germano 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
37Frank Grassert, Dirk Timmermann Dynamic single-rail self-timed logic structures for power efficient synchronous pipelined designs. Search on Bibsonomy ACM Great Lakes Symposium on VLSI The full citation details ... 2003 DBLP  DOI  BibTeX  RDF redundant numbers, self-timed logic, single-rail logic, low power, dynamic logic
37Evgeny Dantsin, Thomas Eiter, Georg Gottlob, Andrei Voronkov Complexity and expressive power of logic programming. Search on Bibsonomy ACM Comput. Surv. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Complexity, logic programming, query languages, datalog, expressive power, nonmonotonic logic
37Evgeny Dantsin, Thomas Eiter, Georg Gottlob, Andrei Voronkov Complexity and Expressive Power of Logic Programming. Search on Bibsonomy IEEE Conference on Computational Complexity The full citation details ... 1997 DBLP  DOI  BibTeX  RDF computational complexity, Logic programming, resolution, constraint logic programming, unification, expressive power
37Uffe Engberg, Glynn Winskel Linear Logic on Petri Nets. Search on Bibsonomy REX School/Symposium The full citation details ... 1993 DBLP  DOI  BibTeX  RDF Petri nets, Linear logic
37John W. Lloyd Higher-Order Computational Logic. Search on Bibsonomy Computational Logic: Logic Programming and Beyond The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
36Cristiano Calcagno, Philippa Gardner, Uri Zarfaty Context logic as modal logic: completeness and parametric inexpressivity. Search on Bibsonomy POPL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF contexts, logic, expressivity, structured data
36Thomas Lukasiewicz Probabilistic and Truth-Functional Many-Valued Logic Programming. Search on Bibsonomy ISMVL The full citation details ... 1999 DBLP  DOI  BibTeX  RDF many-valued logic programming, logics of probability, truth-functional many-valued logics
36Benjamin N. Grosof, Ian Horrocks, Raphael Volz, Stefan Decker Description logic programs: combining logic programs with description logic. Search on Bibsonomy WWW The full citation details ... 2003 DBLP  DOI  BibTeX  RDF ontologies, XML, semantic web, interoperability, knowledge representation, logic programs, RDF, description logic, rules, information integration, translation, model-theoretic semantics, inferencing
36Marc Denecker, Maurice Bruynooghe, V. Wiktor Marek Logic programming revisited: Logic programs as inductive definitions. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF epistemological foundations, inductive definitions
36José Júlio Alferes, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski LUPS - A Language for Updating Logic Programs. Search on Bibsonomy LPNMR The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
36Mutsunori Banbara, Kyoung-Sun Kang, Takaharu Hirai, Naoyuki Tamura Logic Programming in a Fragment of Intuitionistic Temporal Linear Logic. Search on Bibsonomy ICLP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
36Anand Chavan, Shiu-Kai Chin, Shahid Ikram, Jang Dae Kim, Juin-Yeu Zu Extending VLSI design with higher-order logic. Search on Bibsonomy ICCD The full citation details ... 1995 DBLP  DOI  BibTeX  RDF Cambridge Higher-Order Logic theorem-prover, microprogram sequencer, Am2910, VLSI, formal verification, formal verification, logic testing, theorem proving, logic design, logic CAD, VLSI design, higher-order logic, theorem-prover, design environment, instruction-set architecture, VLSI CAD
35Shoujue Wang, Xunwei Wu, Hongjuan Feng The High-Speed Ternary Logic Gates Based on the Multiple beta Transistors. Search on Bibsonomy ISMVL The full citation details ... 1995 DBLP  DOI  BibTeX  RDF high speed ternary logic gates, multiple /spl beta/ transistors, multiple emitter transistor, current gain, linear AND/OR gates, multi valued literal circuits, high speed multi valued logic circuits, multivalued logic circuits, logic gates, ternary logic, transistors
35Takahiro Hozumi, Naotake Kamiura, Yutaka Hata, Kazuharu Yamato Multiple-Valued Logic Design Using Multiple-Valued EXOR. Search on Bibsonomy ISMVL The full citation details ... 1995 DBLP  DOI  BibTeX  RDF multiple-valued EXOR, sum operation, multiple valued sum of products expression, binary EXOR of MINs expressions, three valued EXOR of MINs expression, three valued two variable functions, multiple valued EXOR of MINs expressions, MAX of MINs, TSUM of MINs expressions, logic design, neural nets, multivalued logic, logic minimization, minimisation of switching nets, neural computing, multiple valued logic design, multiple-valued logic design
35Takahiro Hanyu, Akira Mochizuki, Michitaka Kameyama Multiple-Valued Arithmetic Integrated Circuits Based on 1.5V-Supply Dual-Rail Source-Coupled Logic. Search on Bibsonomy ISMVL The full citation details ... 1995 DBLP  DOI  BibTeX  RDF multiple-valued arithmetic integrated circuits, dual-rail source-coupled logic, multiple-valued current-mode MOS integrated circuit, high-speed arithmetic systems, multiple-valued source-coupled logic circuit, dual-rail complementary inputs, pipelined multiplier, 54 bit, 200 MHz, 0.8 mum, 1.5 V, CMOS logic circuits, multiplying circuits, multivalued logic circuits, current-mode logic, pipeline arithmetic
35Jair Minoro Abe Para-Fuzzy Logic Controller. Search on Bibsonomy KES The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Paraconsistent annotated logic, Fuzzy logic, control systems, logic controller
35Y. J. Jiang, Yongyuth Aramkulchai On the Relationship between Assumption-based Framework and Autoepistemic Logic. Search on Bibsonomy ISMIS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF Assumption-based framework, Argumentation system, Reflexive Autoepistemic Logic, 3-valued AE logic, Abduction, Autoepistemic Logic
35Matthias Baaz, Alexander Leitsch, Richard Zach Incompleteness of a First-Order Gödel Logic and Some Temporal Logics of Programs. Search on Bibsonomy CSL The full citation details ... 1995 DBLP  DOI  BibTeX  RDF temporal logic, many-valued logic, intermediate logic
35Uday S. Reddy A Typed Foundation for Directional Logic Programming. Search on Bibsonomy ELP The full citation details ... 1992 DBLP  DOI  BibTeX  RDF Directionality, types, linear logic, sequent calculus, modes, concurrent logic programming, Curry-Howard isomorphism, logic variables
34Jack Minker, Dietmar Seipel Disjunctive Logic Programming: A Survey and Assessment. Search on Bibsonomy Computational Logic: Logic Programming and Beyond The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
34Zuoquan Lin, Wei Li 0022 On Logic of Paradox. Search on Bibsonomy ISMVL The full citation details ... 1995 DBLP  DOI  BibTeX  RDF logic of paradox, minimal semantics, satisfactory proof theory, signed tableaux, completeness theorems, theorem proving, soundness, nonmonotonic reasoning, proof theory, paraconsistent logic, nonmonotonicity
34Kewen Wang, Yan Zhang Nested Epistemic Logic Programs. Search on Bibsonomy LPNMR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
34François Bry Negation in Logic Programming: A Formalization in Constructive Logic. Search on Bibsonomy IS/KI The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
34H. Kushida, M. Okada A proof-theoretic study of the correspondence of hybrid logic and classical logic. Search on Bibsonomy Journal of Logic, Language and Information The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Proof theory, Hybrid logic, Classical logic
34Patrick C. McGeer, Kenneth L. McMillan, Alexander Saldanha, Alberto L. Sangiovanni-Vincentelli, Patrick Scaglia Fast discrete function evaluation using decision diagrams. Search on Bibsonomy ICCAD The full citation details ... 1995 DBLP  DOI  BibTeX  RDF address lookups, cycle-based logic simulation, decision-diagram based function evaluation, fast discrete function evaluation, latch ports, orders-of-magnitude potential speedup, output ports, logic design, memory hierarchy, logic CAD, decision theory, circuit analysis computing, memory bandwidth, table lookup, digital circuits, logic simulators, logic function, function evaluation, multi-valued decision diagrams
33Yoshihiro Maruyama Algebraic Study of Lattice-Valued Logic and Lattice-Valued Modal Logic. Search on Bibsonomy ICLA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
33Paul Chang, Brion L. Keller, Sarala Paliwal Effective parallel processing techniques for the generation of test data for a logic built-in self test system. Search on Bibsonomy Asian Test Symposium The full citation details ... 2000 DBLP  DOI  BibTeX  RDF logic built-in self test, complex processor, simulation time, random stimulus generation, signature computation, Pseudo-Random Pattern Generators, serial compression, response data, serial pattern dependency, parallel processing, parallel processing, logic testing, partitioning, built-in self test, integrated circuit testing, automatic test pattern generation, signatures, parallel simulation, microprocessor chips, logic simulation, logic simulation, post processing, logic partitioning, test data
33Ching-Hwa Cheng, Wen-Ben Jone, Jinn-Shyan Wang, Shih-Chieh Chang Charge sharing fault analysis and testing for CMOS domino logic circuits. Search on Bibsonomy Asian Test Symposium The full citation details ... 2000 DBLP  DOI  BibTeX  RDF charge sharing fault analysis, CMOS domino logic circuits, domino logic design, sensitivity measurement, domino gate, fault diagnosis, logic testing, delays, delay, automatic testing, CMOS logic circuits, logic gates, test vectors
33Soumitra Bose, Vishwani D. Agrawal Sequential logic path delay test generation by symbolic analysis. Search on Bibsonomy Asian Test Symposium The full citation details ... 1995 DBLP  DOI  BibTeX  RDF sequential logic path delay test generation, two-vector test sequences, non-scan sequential circuit, multivalued algebras, three-vector test sequences combinational logic, value propagation rule, ISCAS89 benchmarks, fault diagnosis, logic testing, delays, Boolean functions, Boolean functions, finite state machines, finite state machines, sequential circuits, encoding, automatic testing, Binary Decision Diagrams, multivalued logic, sequential machines, symbolic analysis, combinational logic, state transitions
33Tadeusz Luba Decomposition of Multiple-Valued Functions. Search on Bibsonomy ISMVL The full citation details ... 1995 DBLP  DOI  BibTeX  RDF silicon space, PLA implementations, information storing systems, information systems, logic design, decomposition, logic synthesis, programmable logic arrays, multivalued logic, logic circuits, data bases, multiple-valued functions
33Dusan Guller Procedural Semantics for Fuzzy Disjunctive Programs. Search on Bibsonomy LPAR The full citation details ... 2002 DBLP  DOI  BibTeX  RDF multivalued logic programming, logic in artificial intelligence, fuzzy logic, knowledge representation and reasoning, model theory, disjunctive logic programming
33Kaushik De, John A. Chandy, Sumit Roy 0003, Steven Parkes, Prithviraj Banerjee Parallel algorithms for logic synthesis using the MIS approach. Search on Bibsonomy IPPS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF combinational logic synthesis, VLSI system design, ProperMIS, portable parallel algorithm, parallel algorithms, parallel algorithms, parallel architectures, logic design, combinational circuits, logic synthesis, logic CAD
33Zuoquan Lin Paraconsistent Circumscription: First-Order Case. Search on Bibsonomy ISMVL The full citation details ... 1995 DBLP  DOI  BibTeX  RDF paraconsistent circumscription, predicate circumscription, minimal semantics, nonmonotonic reasoning, formal logic, paraconsistent logic, nonmonotonic logic, classical logic
33A. K. Jain, Mostafa H. Abd-El-Barr, R. J. Bolton Current-Mode CMOS Multiple-Valued Logic Function Realization Using a Direct Cover Algorithm. Search on Bibsonomy ISMVL The full citation details ... 1995 DBLP  DOI  BibTeX  RDF current-mode CMOS multiple-valued logic function realization, heuristic based programs, sum of product form expression, HAMLET, Gold heuristic, current mode CMOS, multiple valued logic function realization, direct cover algorithm, logic design, random sample, multivalued logic, CMOS logic circuits, heuristic programming, MVL function
33GuoJun Wang, QiaoLin Duan Theory of (n) truth degrees of formulas in modal logic and a consistency theorem. Search on Bibsonomy Science in China Series F: Information Sciences The full citation details ... 2009 DBLP  DOI  BibTeX  RDF (n) truth degrees, consistency theorem, (n) modality similarity degrees, (n) modality logic metric space, temporal logic, modal logic, approximate reasoning
33Rajeev Alur, Swarat Chaudhuri, P. Madhusudan A fixpoint calculus for local and global program flows. Search on Bibsonomy POPL The full citation details ... 2006 DBLP  DOI  BibTeX  RDF infinite-state, model-checking, verification, games, specification, logic, ?-calculus, pushdown systems
33Dimiter Vakarelov Nelson's Negation on the Base of Weaker Versions of Intuitionistic Negation. Search on Bibsonomy Studia Logica The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Nelson negation, subminimal logic, counterexample semantics, many-valued logics
33Susanto Rahardja, Bogdan J. Falkowski Family of Fast Mixed Arithmetic Logic Transforms for Multiple-Valued Input Binary Functions. Search on Bibsonomy ISMVL The full citation details ... 1996 DBLP  DOI  BibTeX  RDF fast mixed arithmetic logic transforms, multiple-valued input binary functions, transform matrices, mixed arithmetic logic spectra, Boolean functions, transforms, matrix algebra, multivalued logic, multivalued logic circuits, inverse transforms
33Yutaka Hata, Naotake Kamiura, Kazuharu Yamato On Input Permutation Technique for Multiple-Valued Logic Synthesis. Search on Bibsonomy ISMVL The full citation details ... 1995 DBLP  DOI  BibTeX  RDF input permutation technique, multiple-valued logic synthesis, multiple valued sum of products expressions, TSUM, minimal sum of products expressions, permuted logic values, randomly generated functions, input permutation, output permutation, minimization times, window literals, sum of products expressions, set literals, logic design, set theory, multivalued logic
32Alberto Pettorossi, Maurizio Proietti Program Derivation = Rules + Strategies. Search on Bibsonomy Computational Logic: Logic Programming and Beyond The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
32Francesco Buccafurri, Georg Gottlob Multiagent Compromises, Joint Fixpoints, and Stable Models. Search on Bibsonomy Computational Logic: Logic Programming and Beyond The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
32Andrea Calì, Thomas Lukasiewicz, Livia Predoiu, Heiner Stuckenschmidt Tightly Coupled Probabilistic Description Logic Programs for the Semantic Web. Search on Bibsonomy J. Data Semantics The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Probabilistic description logic programs, Bayesian probabilities, merging ontology mappings, data tractability, Web Services, Semantic Web, algorithms, complexity, description logics, ontology mapping, disjunctive logic programs, answer set semantics, inconsistency handling
32Tuan-Fang Fan, Duen-Ren Liu, Gwo-Hshiung Tzeng Arrow Decision Logic. Search on Bibsonomy RSFDGrC (1) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Arrow logic, rough sets, multicriteria decision analysis, decision logic
32Robert Law Using student blogs for documentation in software development projects. Search on Bibsonomy ITiCSE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
32Phan Minh Dung On the strong completion of logic programs. Search on Bibsonomy ALP The full citation details ... 1990 DBLP  DOI  BibTeX  RDF predicate completion, two-valued logic, Logic programming, negation, three-valued logic, stable models, circumscription, well-founded models
32S. K. Panda, Arnab Roy 0001, P. P. Chakrabarti, Rajeev Kumar Simulation-based verification using Temporally Attributed Boolean Logic. Search on Bibsonomy ACM Trans. Design Autom. Electr. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Bus verification, instruction semantics verification, interrupt testing, offline-online verification algorithm, simulation based verification, temporal logic, timing verification
32Kaile Su, Yinyin Xiao, Qingliang Chen, Han Lin Semantic interpretation of compositional logic in instantiation space. Search on Bibsonomy Frontiers Comput. Sci. China The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Instantiation Space, Compositional Logic, interpretation
32Ginés Moreno, Vicente Pascual Programming with Fuzzy Logic and Mathematical Functions. Search on Bibsonomy WILF The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Fuzzy Logic, Similarity, Functional Logic Programming
32Robert F. Stärk, Stanislas Nanchen A Logic for Abstract State Machines. Search on Bibsonomy CSL The full citation details ... 2001 DBLP  DOI  BibTeX  RDF logical foundations of specification languages, modal logic, dynamic logic, Abstract State Machines
32Joost N. Kok Specializtion in Logic Programming: from Horn Clause Logic to Prolog and Concurrent Prolog. Search on Bibsonomy REX Workshop The full citation details ... 1989 DBLP  DOI  BibTeX  RDF Horn Clause Logic, cut operator, committed-choice, Logic programming, Prolog, operational semantics, backtracking, synchronization mechanisms, Concurrent Prolog
32Ilkka Niemelä Integrating Answer Set Programming and Satisfiability Modulo Theories. Search on Bibsonomy LPNMR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
32Aiqun Cao, Naran Sirisantana, Cheng-Kok Koh, Kaushik Roy 0001 Synthesis of Selectively Clocked Skewed Logic Circuits. Search on Bibsonomy ISQED The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
32Hafiz Md. Hasan Babu, Md. Rafiqul Islam 0001, Amin Ahsan Ali, Mohammad Musa Salehin Akon A Technique for Logic Design of Voltage-Mode Pass Transistor Based Multi-Valued Multiple-Output Logic Circuits. Search on Bibsonomy ISMVL The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Multi-valued logic (MVL), TMOS logic circuits, Support set, Residual, Literals
31Marc Denecker, Eugenia Ternovska A Logic of Non-monotone Inductive Definitions and Its Modularity Properties. Search on Bibsonomy LPNMR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
31Martin Grohe, Nicole Schweikardt The Succinctness of First-Order Logic on Linear Orders. Search on Bibsonomy LICS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
31Carlos Viegas Damásio, Luís Moniz Pereira Antitonic Logic Programs. Search on Bibsonomy LPNMR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
31Thomas Eiter, Georg Gottlob, Helmut Veith Generalized Quantifiers in Logic Programs. Search on Bibsonomy ESSLLI The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
31Dale Miller 0001 Specifications Using Multiple-Conclusion Logic Programs. Search on Bibsonomy PLILP The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
31Jan van Eijck, Yanjing Wang Propositional Dynamic Logic as a Logic of Belief Revision. Search on Bibsonomy WoLLIC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF PDL, epistemic dynamic logic, knowledge update, belief revision
31Ananta K. Majhi, James Jacob, Lalit M. Patnaik, Vishwani D. Agrawal An efficient automatic test generation system for path delay faults in combinational circuits. Search on Bibsonomy VLSI Design The full citation details ... 1995 DBLP  DOI  BibTeX  RDF automatic test generation system, test pattern generation system, nonrobust tests, nine-value logic system, multiple backtrace procedure, path selection method, logic testing, delays, integrated circuit testing, fault detection, ATPG, combinational circuits, combinational circuits, automatic testing, fault location, multivalued logic, logic circuits, integrated logic circuits, path delay faults, robust tests
31Kewen Wang, Lizhu Zhou, Fangzhen Lin Alternating Fixpoint Theory for Logic Programs with Priority. Search on Bibsonomy Computational Logic The full citation details ... 2000 DBLP  DOI  BibTeX  RDF alternating fixpoints, Logic programs, priority, answer sets, well-founded model
31David Pearce 0001, Vladimir Sarsakov, Torsten Schaub, Hans Tompits, Stefan Woltran A Polynomial Translation of Logic Programs with Nested Expressions into Disjunctive Logic Programs: Preliminary Report. Search on Bibsonomy ICLP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
31Giorgi Japaridze Many Concepts and Two Logics of Algorithmic Reduction. Search on Bibsonomy Studia Logica The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Affine logic, Interactivecomputation, Linear logic, Game semantics, Intuitionistic logic, Computability logic
Displaying result #1 - #100 of 82023 (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 Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license