Výsledky vyhľadávania - Nonnumerical Algorithms and Problems—complexity of proof procedure General Terms
-
1
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: I.2.3 [Artificial Intelligence, Deduction and Theorem Proving—deduction, I.1.2. [Algebraic Manipulation, Algorithms—analysis of algorithms, F.2.2 [Analysis of Algorithms and Problem Complexity, Nonnumerical Algorithms and Problems—complexity of proof procedure General Terms, Algorithms, Theory, Language Additional Key Words and Phrases, Deduction, reasoning, satisfiabilty, implication, equivalence
Popis súboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.127.17; http://www.cs.fiu.edu/~weiss/tods.pdf
-
2
Autori:
Prispievatelia:
Predmety: Categories and Subject Descriptors, F.2.2 [Analysis of Algorithms and Problem Complexity, Nonnumerical Algorithms and Problems—Complexity of proof procedures General Terms, Algorithms, Theory Additional Key Words and Phrases, Proof complexity, parameterized complexity, Resolution, Prover-Delayer games ACM Reference Format
Popis súboru: application/pdf
-
3
Autori:
Prispievatelia:
Predmety: Categories and Subject Descriptors H.2.3 [Database management systems, Languages— query languages, F.2.2 [Analysis of Algorithms and Problem Complexity, Nonnumerical Algorithms and Problems— Complexity of proof procedures General Terms Algorithms, Theory Keywords XPath, trees, satisfiability
Popis súboru: application/pdf
-
4
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: and Protection, D.4.6 [Operating Systems, Security and Protection—Access controls, F.2.2 [Analysis of Algorithms and Problem Complexity, Nonnumerical Algorithms and Problems—Complexity of proof procedures General Terms, Security, Theory, Languages Additional Key Words and Phrases, access control, trust management, distributed system security, logic
Popis súboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.119.4238; http://www.cs.utsa.edu/~winsboro/index_files/Papers/Safety_JACM_AcceptedVersion.pdf
-
5
Autori:
Prispievatelia:
Predmety: Categories and Subject Descriptors, F.2.2 [Analysis of Algorithms and Problem Complexity, Nonnumerical Algorithms and Problems—Complexity of proof procedures, F.4.1 [Mathematical Logic and Formal Languages, Mathematical Logic—Proof theory, Mechanical theorem proving General Terms, Theory Additional Key Words and Phrases, Arithmetic, deduction modulo, higher-order logic, prooflength speed-ups, term
Popis súboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.312.3589; http://arxiv.org/pdf/0805.1464v1.pdf
-
6
Autori:
Prispievatelia:
Predmety: Mathematical Logic—Modal Logic, Computational Logic, F.2.2. [Analysis of Algorithms and Problem Complexity, Nonnumerical Algorithms and Problems—Complexity of Proof Procedures General Terms, Algorithms, Languages, Theory Additional Key Words and Phrases, Shallow models, resolution, coalgebra
Popis súboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.128.939; http://tocl.acm.org/accepted/352schroeder.pdf
-
7
Autori:
Prispievatelia:
Predmety: Mathematical Logic—Modal Logic, Computational Logic, F.2.2. [Analysis of Algorithms and Problem Complexity, Nonnumerical Algorithms and Problems—Complexity of Proof Procedures General Terms, Algorithms, Languages, Theory Additional Key Words and Phrases, Shallow models, resolution, coalgebra
Popis súboru: application/pdf
-
8
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: Categories and Subject Descriptors D.4.6 [Operating Systems, Security and Protection—Access controls, K.6.5 [Management of Computing and Information Systems, Security and Protection, F.2.2 [Analysis of Algorithms and Problem Complexity, Nonnumerical Algorithms and Problems—Complexity of proof procedures General Terms Security, Theory Keywords Access Control, Fault-tolerant, Policy Design
Popis súboru: application/pdf
-
9
Autori:
Prispievatelia:
Predmety: Categories and Subject Descriptors D.4.6 [Operating Systems, Security and Protection—Access controls, K.6.5 [Management of Computing and Information Systems, Security and Protection, F.2.2 [Analysis of Algorithms and Problem Complexity, Nonnumerical Algorithms and Problems—Complexity of proof procedures General Terms Security, Theory, Languages Keywords Access Control, Separation of Duty, Policy Design
Popis súboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.87.5374; http://www.cs.purdue.edu/homes/ninghui/papers/algebra_ccs06.pdf
-
10
Autori:
Prispievatelia:
Predmety: Categories and Subject Descriptors, F.4.1 [Mathematical Logic and Formal Languages, Mathematical Logic--computational logic, lambda calculus and related systems, F.2.2 [Analysis of Algorithms and Problem Complexity, Nonnumerical Algorithms and Problems-- complexity of proof procedures General Terms, Theory Additional Key Words and Phrases, elementary recursive functions, complexity, lambda calculus, second order logic
Popis súboru: application/postscript
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.68.5408; http://www.tcs.ifi.lmu.de/~jjohanns/papers/elf.ps.gz
-
11
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: Categories and Subject Descriptors D.4.6 [Operating Systems, Security and Protection—Access controls, K.6.5 [Management of Computing and Information Systems, Security and Protection, F.2.2 [Analysis of Algorithms and Problem Complexity, Nonnumerical Algorithms and Problems—Complexity of proof procedures General Terms Security, Theory Keywords role-based access control
Popis súboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.320.4355; http://www.cs.purdue.edu/homes/ninghui/papers/sod_ccs04.pdf
-
12
Autori:
Prispievatelia:
Predmety: Nonnumerical Algorithms and Problems|complexity of proof procedures General terms, Algorithms, Theory Additional Key Words and Phrases, Data ow frameworks, data ow analysis, bidirectional data ows
Popis súboru: application/postscript
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.24.3128; http://www.iitb.ernet.in:8000/~uday/t1271.ps
-
13
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: Categories and Subject Descriptors, F.2.2 [Analysis of Algorithms and Problem Complexity, Nonnumerical Algorithms and Problems—Complexity of proof procedures General Terms, Algorithms, Theory Additional Key Words and Phrases, Proof complexity, parameterized complexity, Resolution, bounded-depth Frege ACM Reference Format
Popis súboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.297.4930; http://people.cs.uchicago.edu/~razborov/files/parres.pdf
-
14
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: Categories and Subject Descriptors D.4.6 [Operating Systems, Security and Protection—Access controls, K.6.5 [Management of Computing and Information Systems, Security and Protection, F.2.2 [Analysis of Algorithms and Problem Complexity, Nonnumerical Algorithms and Problems—Complexity of proof procedures General Terms Security, Theory Keywords Access Control, Fault-tolerant, Policy Design
Popis súboru: application/pdf
-
15
Autori:
Prispievatelia:
Predmety: Categories and Subject Descriptors, D.4.6 [Operating Systems, Security and Protection—Access controls, K.6.5 [Management of Computing and Information Systems, Security and Protec- tion, F.2.2 [Analysis of Algorithms and Problem Complexity, Nonnumerical Algorithms and Problems—Complexity of proof procedures General Terms, Security, Theory Additional Key Words and Phrases, Access control, fault-tolerant, policy design ACM Reference Format
Popis súboru: application/pdf
-
16
Autori:
Prispievatelia:
Predmety: Categories and Subject Descriptors, F.2.2 [Analysis of Algorithms and Problem Complexity, Nonnumerical Algorithms and Problems—Complexity of proof procedures, F.4.1 [Mathematical Logic and Formal Languages, Mathematical Logic—Modal logic General Terms, Algorithms, Theory Additional Key Words and Phrases, Parameterized Complexity, Satisfiability, Treewidth
Popis súboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.297.3340; http://tocl.acm.org/accepted/praveen_treewidth.pdf
-
17
Prispievatelia: The Pennsylvania State University CiteSeerX Archives
Predmety: Categories and Subject Descriptors, D.3.4 [Programming Languages, Processors-- Compilers, Optimization, F.2.2 [Analysis of Algorithms and Problem Complexity, Nonnumerical Algorithms and Problems--complexity of proof procedures General terms, Algorithms, Theory Additional Key Words and Phrases, Data flow frameworks, data flow analysis, bidirectional data flows
Popis súboru: application/postscript
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.81.4599; http://www.cse.iitb.ac.in/~dmd/genth.ps
-
18
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: Categories and Subject Descriptors, I.2.4 [Knowledge Representation Formalisms and Methods, Representation languages, F.2.2. [Analysis of Algorithms and Problem Complexity, Nonnumerical Algorithms and Problem—Complexity of Proof Procedures, F.4.1 [Mathematical Logic and Formal Languages, Mathematical Logic—Computational Logic General Terms, Languages, Theory Additional Key Words and Phrases, description logics, Horn logic, computational complexity
Popis súboru: application/pdf
-
19
Autori: a ďalší
Prispievatelia: a ďalší
Zdroj: http://knoesis.wright.edu/faculty/pascal/resources/publications/Hitzler-submission-HornDLs.pdf.
Predmety: Categories and Subject Descriptors, I.2.4 [Knowledge Representation Formalisms and Methods, Representation languages, F.2.2. [Analysis of Algorithms and Problem Com- plexity, Nonnumerical Algorithms and Problem—Complexity of Proof Procedures, F.4.1 [Math- ematical Logic and Formal Languages, Mathematical Logic—Computational Logic General Terms, Languages, Theory Additional Key Words and Phrases, description logics, Horn logic, computational complexity
Popis súboru: application/pdf
-
20
Autori:
Prispievatelia:
Predmety: Nonnumerical Algorithms and Problems—Complexity of proof procedures, F.4.1 [Mathematical Logic and Formal Languages, Mathematical Logic—Computational logic, Modal logic, Model theory, Proof theory General Terms, Access Control, Logic, Complexity Additional Key Words and Phrases, derivation problem, infon, infon logic, intuitionistic logic, linear time
Popis súboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.192.5704; http://www.acm.org/pubs/tocl/accepted/446gurevich.pdf
Nájsť tento článok vo Web of Science