Suchergebnisse - "Program Analysis and Verification Techniques"
-
1
Autoren: et al.
Quelle: Studia Logica. 112:893-932
Schlagwörter: Interpretation (philosophy), Nonmonotonic Reasoning, Abstract Interpretation, Generalization, Linguistics, Epistemology, Computer science, FOS: Philosophy, ethics and religion, Programming language, 3. Good health, Epistemic Logic, Philosophy, Reading (process), Computational Theory and Mathematics, Logic Programming and Knowledge Representation, Artificial Intelligence, Temporal Logic, Computer Science, Physical Sciences, Fuzzy Logic and Residuated Lattices, FOS: Languages and literature, Program Analysis and Verification Techniques, Modal Logics
-
2
Autoren: et al.
Quelle: Multimedia Tools and Applications. 83:36865-36898
Schlagwörter: Artificial intelligence, Abstract Interpretation, Commutative property, 0102 computer and information sciences, 02 engineering and technology, Poaceae, 01 natural sciences, Theoretical computer science, Context (archaeology), Artificial Intelligence, Logic Programming and Knowledge Representation, State (computer science), Automated theorem proving, FOS: Mathematics, 0202 electrical engineering, electronic engineering, information engineering, Conjecture, Biology, Parsing, Ecology, Computer graphics (images), Paleontology, Reachability, Animation, Discrete mathematics, Computer science, Rule-based machine translation, Programming language, Lemma (botany), Computational Theory and Mathematics, FOS: Biological sciences, Computer Science, Physical Sciences, Program Analysis and Verification Techniques, Mathematics, Formal Methods in Software Verification and Control
-
3
Autoren: et al.
Quelle: Lecture Notes in Computer Science ISBN: 9783031572456
Schlagwörter: FOS: Computer and information sciences, Artificial Intelligence, Computer Science, Physical Sciences, QoS-Aware Web Services Composition and Semantic Matching, HOL, Program Analysis and Verification Techniques, Computer science, Language-based Information Flow Security, Information Systems, Programming language
-
4
Autoren: van Benthem, J.
Quelle: Logic Journal of the IGPL. 31:1135-1152
Schlagwörter: Cognitive science, Artificial intelligence, Meaning (existential), Epistemology, 06 humanities and the arts, 15. Life on land, 0603 philosophy, ethics and religion, 16. Peace & justice, Computer science, 7. Clean energy, Description Logics, FOS: Philosophy, ethics and religion, FOS: Psychology, Philosophy, Computational Theory and Mathematics, Logic Programming and Knowledge Representation, Artificial Intelligence, Temporal Logic, 13. Climate action, Computer Science, Physical Sciences, Fuzzy Logic and Residuated Lattices, Psychology, Program Analysis and Verification Techniques, Modal Logics
Dateibeschreibung: application/pdf
Zugangs-URL: https://dare.uva.nl/personal/pure/en/publications/the-logic-of-conditionals-on-outback-trails(2a3f1c4f-1212-4eed-ad30-c4f0e7533965).html
https://doi.org/10.1093/jigpal/jzac064
https://hdl.handle.net/11245.1/2a3f1c4f-1212-4eed-ad30-c4f0e7533965 -
5
Autoren:
Quelle: Mathematical Structures in Computer Science. 32:1205-1233
Schlagwörter: Artificial intelligence, Separation Logic, Mathematical proof, Rule of inference, 01 natural sciences, Sequent calculus, Proof calculus, Constructive proof, Logic Programming and Knowledge Representation, Axiom, Nonmonotonic Reasoning, Discrete mathematics, 16. Peace & justice, Programming language, Chemistry, sequent calculus, Physical Sciences, Medicine, Musical, Program Analysis and Verification Techniques, Calculus (dental), Modal logic (including the logic of norms), Modal Logics, Semantic Web and Ontology Development, Art, Natural deduction, Formalism (music), Axiomatic system, Geometry, 0102 computer and information sciences, constructive modal logic, Description Logics, Visual arts, Sequent, Artificial Intelligence, Temporal Logic, FOS: Mathematics, Coq, Polymer chemistry, 0101 mathematics, formal verification, Modal logic, FOS: Clinical medicine, Proof theory, cut elimination, Computer science, Constructive, Process (computing), Cut-elimination theorem, dual-context systems, Dentistry, Computer Science, Cut-elimination and normal-form theorems, Modal, Mathematics
Dateibeschreibung: application/xml
-
6
Autoren:
Quelle: Mathematical Structures in Computer Science
Schlagwörter: Høyere kategoriteori, Geometry, Hoare logic, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Description Logics, VDP::Mathematics and natural scienses: 400, Artificial Intelligence, Logic Programming and Knowledge Representation, FOS: Mathematics, 0202 electrical engineering, electronic engineering, information engineering, Axiom, VDP::Matematikk og naturvitenskap: 400, Language-based Information Flow Security, Denotational semantics, Separation logic, Algebra over a field, Axiomatic semantics, Pure mathematics, Semantics (computer science), Computer science, Higher category theory, Programming language, Matematikk og naturvitenskap: 400 [VDP], Mathematics and natural scienses: 400 [VDP], Hoare logikk, Mathematical logic, Computer Science, Physical Sciences, Operational semantics, Matematisk logikk, Program Analysis and Verification Techniques, Correctness, Mathematics
Dateibeschreibung: application/pdf
Zugangs-URL: https://hdl.handle.net/11250/3049711
-
7
Autoren: et al.
Quelle: Papacchini, F, Nalon, C, Hustadt, U & Dixon, C 2022, '"Local is Best: Efficient Reductions to Modal Logic K"', Journal of Automated Reasoning. https://doi.org/10.1007/s10817-022-09630-6
Schlagwörter: Nonmonotonic Reasoning, 4. Education, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Algorithm, Computational Theory and Mathematics, Logic Programming and Knowledge Representation, Artificial Intelligence, Constraint Logic Programming, Temporal Logic, Computer Science, Physical Sciences, Fuzzy Logic and Residuated Lattices, FOS: Mathematics, 0202 electrical engineering, electronic engineering, information engineering, Program Analysis and Verification Techniques, Modal Logics, Mathematics
-
8
Autoren: et al.
Quelle: ICST Transactions on Scalable Information Systems.
Schlagwörter: Design for Manufacture and Assembly in Manufacturing, Compiler construction, Digital subscriber line, Domain-specific language, Compiler, 02 engineering and technology, Epistemology, Industrial and Manufacturing Engineering, Engineering, Artificial Intelligence, 0202 electrical engineering, electronic engineering, information engineering, Computer architecture, 0204 chemical engineering, Model-Driven Engineering in Software Development, Key (lock), Design for Manufacture, Software Development, Domain-Specific Languages, Computer science, Programming language, FOS: Philosophy, ethics and religion, Operating system, Philosophy, Optimizing compiler, Compiler correctness, Computer Science, Physical Sciences, Telecommunications, Code generation, Program Analysis and Verification Techniques, Abstraction, Software
-
9
Autoren:
Quelle: Logical Methods in Computer Science, Vol Volume 19, Issue 4 (2023)
Schlagwörter: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Artificial intelligence, Logic, Linear logic, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Quantum mechanics, computer science - logic in computer science, Simply typed lambda calculus, Theoretical computer science, Engineering, Artificial Intelligence, Logic Programming and Knowledge Representation, 0202 electrical engineering, electronic engineering, information engineering, FOS: Mathematics, Encoding (memory), Lambda calculus, Nonmonotonic Reasoning, BC1-199, Determinism, Typed lambda calculus, Physics, FOS: Clinical medicine, Pi calculus, QA75.5-76.95, Church encoding, Computer science, Logic in Computer Science (cs.LO), Programming language, Algorithm, Aerospace engineering, Computational Theory and Mathematics, Constraint Logic Programming, Electronic computers. Computer science, Dentistry, Computer Science, Physical Sciences, Medicine, Program Analysis and Verification Techniques, Correctness, Intersection (aeronautics), Calculus (dental), Dependent type, Mathematics, Formal Methods in Software Verification and Control
Dateibeschreibung: application/pdf
-
10
Autoren:
Quelle: Journal of Philosophical Logic. 51:1261-1293
Schlagwörter: Artificial intelligence, Separation Logic, Economics, Abstract Interpretation, 0603 philosophy, ethics and religion, 01 natural sciences, Description Logics, Theoretical computer science, Logic Programming and Knowledge Representation, Artificial Intelligence, Hierarchy, Classical logic, Market economy, Fuzzy Logic and Residuated Lattices, FOS: Mathematics, 0101 mathematics, Nonmonotonic Reasoning, Mathematical economics, Semantics (computer science), 06 humanities and the arts, Computer science, Programming language, Computational Theory and Mathematics, Constraint Logic Programming, Combinatorics, Computer Science, Physical Sciences, Program Analysis and Verification Techniques, Transitive relation, Mathematics
Dateibeschreibung: application/pdf
-
11
Autoren: Axel Arturo Barceló Aspeitia
Quelle: Cuadernos de Lingüística de El Colegio de México, Vol 8 (2021)
Universidad Nacional Autónoma de México
UNAM
Redalyc-UNAM
Cuadernos de Lingüística de El Colegio de México (México) Vol.8Schlagwörter: Numerales, P1-1091, plurales, 0603 philosophy, ethics and religion, Pluralidad, Lengua y Literatura, Humanities, Colectividad, Artificial Intelligence, Logic Programming and Knowledge Representation, Fuzzy Logic and Residuated Lattices, Philology. Linguistics, Nonmonotonic Reasoning, colectividad, FOS: Humanities, Linguistics, Semántica, 06 humanities and the arts, Distributividad, Plural, FOS: Philosophy, ethics and religion, Philosophy, Computational Theory and Mathematics, Computer Science, Physical Sciences, 0602 languages and literature, FOS: Languages and literature, numerales, Program Analysis and Verification Techniques, distributividad, Art
Dateibeschreibung: application/pdf
Zugangs-URL: https://cuadernoslinguistica.colmex.mx/index.php/cl/article/download/137/288
https://doaj.org/article/c1a494ae4a43455382fb3fd8efef2590
https://ojs3.colmex.mx/index.php/cl/article/view/137
https://cuadernoslinguistica.colmex.mx/index.php/cl/article/view/137
https://www.redalyc.org/articulo.oa?id=525967204007 -
12
Autoren: et al.
Quelle: Cano, M, Lopez, H A, Perez, J A & Rueda, C 2022, ' Session-based concurrency, declaratively ', Acta Informatica, vol. 59, pp. 37–123 . https://doi.org/10.1007/s00236-021-00395-w
Schlagwörter: Artificial intelligence, Computer Networks and Communications, Session types, Geometry, 0102 computer and information sciences, 02 engineering and technology, Type Inference, 01 natural sciences, Theoretical computer science, Artificial Intelligence, Concurrency, FOS: Mathematics, 0202 electrical engineering, electronic engineering, information engineering, Constraint (computer-aided design), Encoding (memory), Theory of computation, CC-PI, 4. Education, Expressiveness, 16. Peace & justice, Linear Logic, Computer science, Session (web analytics), Programming language, Algorithm, World Wide Web, Computational Theory and Mathematics, Computer Science, Physical Sciences, Concurrent Constraint Programming, Program Analysis and Verification Techniques, Correctness, Distributed Fault Tolerance and Consistency in Systems, Mathematics, Formal Methods in Software Verification and Control
Dateibeschreibung: application/pdf
Zugangs-URL: https://link.springer.com/content/pdf/10.1007/s00236-021-00395-w.pdf
https://research.rug.nl/en/publications/7f3841f9-25f4-409c-a6ca-4d2e127342f8
https://hdl.handle.net/11370/7f3841f9-25f4-409c-a6ca-4d2e127342f8
https://doi.org/10.1007/s00236-021-00395-w
https://www.narcis.nl/publication/RecordID/oai%3Acwi.nl%3A30714
https://link.springer.com/content/pdf/10.1007/s00236-021-00395-w.pdf
https://link.springer.com/article/10.1007/s00236-021-00395-w
https://curis.ku.dk/ws/files/297603582/Session_based_concurrency_declaratively.pdf -
13
Autoren:
Quelle: Journal of Logic and Algebraic Methods in Programming
Schlagwörter: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, 0102 computer and information sciences, 02 engineering and technology, Type Inference, 01 natural sciences, Choreography, Refinement, Typing, Computer Science - Software Engineering, Artificial Intelligence, Logic Programming and Knowledge Representation, 0202 electrical engineering, electronic engineering, information engineering, D.1.3, D.2.4, D.3.1, F.3.1, 16. Peace & justice, Computer science, Logic in Computer Science (cs.LO), Software Engineering (cs.SE), Computational Theory and Mathematics, Computer Science, Physical Sciences, Program Analysis and Verification Techniques, Formal Methods in Software Verification and Control
Dateibeschreibung: application/pdf
Zugangs-URL: https://arxiv.org/pdf/2009.07991
http://arxiv.org/abs/2009.07991
https://arxiv.org/abs/2009.07991
https://ui.adsabs.harvard.edu/abs/2020arXiv200907991D/abstract
https://arxiv.org/pdf/2009.07991.pdf
https://hdl.handle.net/2318/1863825
https://doi.org/10.1016/j.jlamp.2022.100776
http://arxiv.org/abs/2009.07991v1
https://doi.org/10.4204/EPTCS.324.6
https://hdl.handle.net/2318/1759629 -
14
Autoren:
Weitere Verfasser:
Schlagwörter: FOS: Computer and information sciences, Composite material, Computer Networks and Communications, Mathematical proof, Distributed Constraint Optimization Problems and Algorithms, Geometry, Stochastic programming, Langages applicatifs, Set (abstract data type), [INFO] Computer Science [cs], Mathematical analysis, Computer Science - Software Engineering, Range (aeronautics), Theoretical computer science, Artificial Intelligence, Temporal Reasoning, FOS: Mathematics, Genetics, Constraint programming, Constraint (computer-aided design), Variable (mathematics), Biology, EVENT B, Mathematical optimization, Integer programming, Computer science, Materials science, Programming language, Software Engineering (cs.SE), Algorithm, Computational Theory and Mathematics, Implementation, FOS: Biological sciences, Computer Science, Physical Sciences, Integer (computer science), Program Analysis and Verification Techniques, Mathematics, Formal Methods in Software Verification and Control, Sequence (biology)
Dateibeschreibung: application/pdf
Zugangs-URL: http://arxiv.org/abs/2307.03974
-
15
Autoren:
Quelle: Lecture Notes in Computer Science ISBN: 9783031308222
Schlagwörter: Mathematical proof, Usability, Runtime Verification, Geometry, Model Checking, 12. Responsible consumption, Safety Verification, Theoretical computer science, Artificial Intelligence, Automated theorem proving, FOS: Mathematics, HOL, Proof assistant, Language-based Information Flow Security, Gas meter prover, Computer science, Programming language, Operating system, Computational Theory and Mathematics, Automated proof checking, Computer Science, Physical Sciences, Proof complexity, Program Analysis and Verification Techniques, Correctness, Mathematics, Formal Methods in Software Verification and Control
-
16
Autoren: et al.
Quelle: Lecture Notes in Computer Science ISBN: 9783031435126
Schlagwörter: Multimodal logic, Quantum mechanics, Description Logics, Database, Theoretical computer science, Logic Programming and Knowledge Representation, Artificial Intelligence, Temporal Logic, Default logic, Polymer chemistry, Nonmonotonic Reasoning, Modal logic, Physics, Transistor, Scalability, Accessibility relation, Autoepistemic logic, Voltage, Propositional calculus, Computer science, Programming language, Description logic, Algorithm, Chemistry, Computational Theory and Mathematics, Constraint Logic Programming, Computer Science, Physical Sciences, Normal modal logic, Dynamic logic (digital electronics), Program Analysis and Verification Techniques, Correctness, Modal, Modal Logics, Formal Methods in Software Verification and Control
-
17
Autoren:
Quelle: Lecture Notes in Computer Science ISBN: 9783031377020
Schlagwörter: Computer Science - Symbolic Computation, FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Symbolic Computing in Algebraic Geometry and Cryptography, Symbolic Computation (cs.SC), Polynomial, Mathematical analysis, Quantum mechanics, Artificial Intelligence, FOS: Mathematics, Satisfiability, Variable (mathematics), Local search (optimization), Jump, Quantifier elimination, Physics, Polynomial Systems, Discrete mathematics, Logic in Computer Science (cs.LO), Algorithm, Satisfiability Modulo Theories, Computational Theory and Mathematics, Computer Science, Physical Sciences, Program Analysis and Verification Techniques, Mathematics, Formal Methods in Software Verification and Control
Zugangs-URL: http://arxiv.org/abs/2303.09072
-
18
Autoren: et al.
Weitere Verfasser: et al.
Quelle: Lecture Notes in Computer Science ISBN: 9783031384981
Nalon, C, Hustadt, U, Papacchini, F & Dixon, C 2023, Buy One Get 14 Free: Evaluating Local Reductions for Modal Logic⋆. in Conference on Automated Deduction . https://doi.org/10.1007/978-3-031-38499-8_22Schlagwörter: Nonmonotonic Reasoning, Artificial intelligence, 4. Education, Computer science, Description Logics, Algorithm, Computational Theory and Mathematics, Logic Programming and Knowledge Representation, Artificial Intelligence, Temporal Logic, Computer Science, Physical Sciences, Fuzzy Logic and Residuated Lattices, Machine learning, Program Analysis and Verification Techniques, Modal Logics
-
19
Autoren:
Quelle: Lecture Notes in Computer Science ISBN: 9783031384981
Schlagwörter: Rewriting, 4. Education, Confluence, Discrete mathematics, Computer science, 7. Clean energy, Programming language, Algorithm, Satisfiability Modulo Theories, Theoretical computer science, Computational Theory and Mathematics, Artificial Intelligence, Computer Science, Physical Sciences, FOS: Mathematics, Modulo, Program Analysis and Verification Techniques, Mathematics, Formal Methods in Software Verification and Control, Language-based Information Flow Security
-
20
Autoren: et al.
Quelle: ICST Transactions on Scalable Information Systems.
Schlagwörter: Computer network, Automated Software Testing Techniques, Identifier, Natural language processing, Computer science, Programming language, Hardware and Architecture, Artificial Intelligence, Security token, Computer Science, Physical Sciences, Programming Language Semantics, Parallel Computing and Performance Optimization, Program Analysis and Verification Techniques, Lexical analysis, Software
Full Text Finder 
Nájsť tento článok vo Web of Science