-
1دورية أكاديمية
المؤلفون: Jaime Ramos, João Rasga, Cristina Sernadas
المصدر: Mathematics, Vol 9, Iss 21, p 2671 (2021)
مصطلحات موضوعية: schematic complexity, propositional-based schema calculus, schema derivation, schema metatheorems, Mathematics, QA1-939
وصف الملف: electronic resource
-
2
المؤلفون: Cristina Sernadas, João Rasga, Walter Carnielli
المصدر: The Bulletin of Symbolic Logic. 27:39-66
مصطلحات موضوعية: Reduction (recursion theory), Reflection (computer programming), Logic, Computer science, 010102 general mathematics, Modal logic, Context (language use), 0102 computer and information sciences, Intuitionistic logic, 01 natural sciences, Satisfiability, Decidability, Philosophy, Modal, 010201 computation theory & mathematics, Calculus, 0101 mathematics
-
3
المؤلفون: Jaime Ramos, Cristina Sernadas, João Rasga
المصدر: Logica Universalis. 14:209-242
مصطلحات موضوعية: Structure (mathematical logic), Property (philosophy), Theoretical computer science, Basis (linear algebra), Logic, Computer science, Applied Mathematics, Modulo, 010102 general mathematics, 06 humanities and the arts, 0603 philosophy, ethics and religion, Mathematical proof, 01 natural sciences, Measure (mathematics), Schema (genetic algorithms), TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, Computer Science::Logic in Computer Science, Component (UML), 060302 philosophy, 0101 mathematics, Computer Science::Databases
-
4
المؤلفون: Daniel Oliveira, João Rasga
المصدر: Logic Journal of the IGPL. 29:251-302
مصطلحات موضوعية: Logic, Computer science, Computer Science::Logic in Computer Science, 010102 general mathematics, Separation (aeronautics), 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, 02 engineering and technology, 0101 mathematics, 01 natural sciences, Algorithm
-
5
المؤلفون: João Rasga, Cristina Sernadas
المصدر: Studies in Universal Logic ISBN: 9783030565534
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4509ef8dcce8d342c45727de464a0b70
https://doi.org/10.52843/cassyni.9mplgw -
6
المؤلفون: Luca Viganò, Erisa Karafili, João Rasga, Cristina Sernadas
المساهمون: Commission of the European Communities
المصدر: Rasga, J, Sernadas, C, Karafili, E & Vigano, L 2021, ' Time-Stamped Claim Logic ', LOGIC JOURNAL-IGPL, vol. 29, no. 3 . https://doi.org/10.1093/jigpal/jzaa001
مصطلحات موضوعية: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer Science - Cryptography and Security, Logic, Computer science, General Mathematics, 010102 general mathematics, Sequent calculus, Mathematics - Logic, 0102 computer and information sciences, 16. Peace & justice, 01 natural sciences, 0101 Pure Mathematics, Logic in Computer Science (cs.LO), Trustworthiness, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, 010201 computation theory & mathematics, Order (business), FOS: Mathematics, Calculus, 0101 mathematics, Logic (math.LO), Cryptography and Security (cs.CR), 0802 Computation Theory and Mathematics
وصف الملف: application/pdf; text
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4336271898c890b34565b53c70e8af54
https://kclpure.kcl.ac.uk/portal/en/publications/timestamped-claim-logic(739be492-c6dd-4b57-8018-47177119bf8d).html -
7
المصدر: Logic Journal of the IGPL. 27:328-370
مصطلحات موضوعية: Logic, FOS: Physical sciences, 02 engineering and technology, 01 natural sciences, Ordered field, Quantum state, Computer Science::Logic in Computer Science, FOS: Mathematics, 0202 electrical engineering, electronic engineering, information engineering, 0101 mathematics, Mathematics, Quantum Physics, 010102 general mathematics, Probabilistic logic, Observable, Mathematics - Logic, 16. Peace & justice, Propositional calculus, Decidability, Algebra, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, Conservative extension, Bounded function, 020201 artificial intelligence & image processing, Logic (math.LO), Quantum Physics (quant-ph), 03G12, 81P10, 03B48
-
8
المؤلفون: João Rasga, Cristina Sernadas
المصدر: Studies in Universal Logic ISBN: 9783030565534
مصطلحات موضوعية: Natural deduction, Constructive proof, Cut-elimination theorem, Completeness (logic), Calculus, Logical consequence, Mathematics, Interpolation
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::efad164d46bb0f420893b2890ee4af3d
https://doi.org/10.1007/978-3-030-56554-1_2 -
9
المؤلفون: João Rasga, Cristina Sernadas
المصدر: Studies in Universal Logic ISBN: 9783030565534
مصطلحات موضوعية: Model theory, Algebra, Reduct, Structure (mathematical logic), Lemma (mathematics), Computer science, Computability, Elementary equivalence, First-order logic, Interpretation (model theory)
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::9d84ffcaaeefedd602741e52769b46c6
https://doi.org/10.1007/978-3-030-56554-1_1 -
10
المؤلفون: João Rasga, Cristina Sernadas
المصدر: Studies in Universal Logic ISBN: 9783030565534
مصطلحات موضوعية: Computer science, Calculus, Context (language use), Boolean satisfiability problem, Satisfiability, Decidability
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::02bc7b8571316a55efa94774b190f696
https://doi.org/10.1007/978-3-030-56554-1_5