Volltext-Artikel, E-Books und Literaturhinweise aus dem EBSCO Discovery Service
"Artikel & mehr" berücksichtigt nur einen Teil der für die Bibliothek der Frankfurt UAS verfügbaren Datenbanken. Zur Übersicht in DBIS
Ergebnis verändern
- Publikationstyp
Publikationstyp- Thema
- erschienen in
- Verlag
- Geographic terms
-
1
von Cirpons, Reinis ; Hivert, Florent ; Mahboubi, Assia ; et al.
Proceedings of the 15th ACM SIGPLAN International Conference on Certified Programs and Proofs. :128-142
-
2
von Baillon, Martin ; Mahboubi, Assia ; Pédrot, Pierre-Marie ; et al.
Programming Languages and Systems : 35th European Symposium on Programming, ESOP 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11–16, 2026, Proceedings, Part I. 16501:72-103
-
3
Schlagworte: Mathematics - Logic; Commutative Algebra, Mathematical Logic, Constructive Mathematics
-
4
Schlagworte: Mathematics - Logic; Mathematics - Commutative Algebra; 12D15 12J15 14Q20 14P10 03F65 03B35
-
5
Schlagworte: Computer Science - Logic in Computer Science; F.4.1; G.4
-
6
von Blot, Valentin ; Cousineau, Denis ; Crance, Enzo ; et al.
Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs. :63-77
-
7
Schlagworte: Computer Science - Logic in Computer Science; F.4.1
-
8
von Cohen, Cyril ; Crance, Enzo ; Mahboubi, Assia
Schlagworte: Computer Science - Logic in Computer Science; F.4.1; F.3.3
-
9
Schlagworte: Mathematics - Algebraic Geometry; Mathematics - Commutative Algebra; 03Fxx 13XX 18Fxx
-
10
von Blot, Valentin ; Cousineau, Denis ; Crance, Enzo ; et al.
Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP '23), January 16-17, 2023, Boston, MA, USA
Schlagworte: Computer Science - Logic in Computer Science
-
11
von Mahboubi, Assia ; Melquiond, Guillaume ; Strub, Pierre-Yves ; et al.
https://hal.science/hal-05554365 ; 2026.
Schlagworte: Formal software verification; Modular inversion; Cryptographic primitives; Rocq; Why3; Deductive program verification; [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]; [INFO.INFO-AO]Computer Science [cs]/Computer Arithmetic; [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR]
-
12
von Baillon, Martin ; Forster, Yannick ; Mahboubi, Assia ; et al.
Schlagworte: type theory; constructive mathematics; continuity; Coq
-
13
von Cohen, Cyril ; Crance, Enzo ; Mahboubi, Assia ; et al.
Programming Languages and Systems : 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I. 14576:269-274
-
14
von Cohen, Cyril ; Crance, Enzo ; Mahboubi, Assia ; et al.
Programming Languages and Systems : 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I. 14576:239-268
-
15
von Mahboubi, Assia ; Sibut-Pinote, Thomas
Logical Methods in Computer Science, Volume 17, Issue 1 (February 18, 2021) lmcs:5975
Schlagworte: Computer Science - Logic in Computer Science; F.3
-
16
Schlagworte: Diagram chasing; formal proofs; abelian categories; decidability
-
17
von Cohen, Cyril ; Crance, Enzo ; Mahboubi, Assia
Cohen, C, Crance, E & Mahboubi, A 2025, 'Trocq : Proof Transfer for Free, Beyond Equivalence and Univalence', ACM Transactions on Programming Languages and Systems, vol. 47, no. 3, pp. 1-40. https://doi.org/10.1145/3737283
Schlagworte: Parametricity; Proof assistants; Proof transfer; Representation independence; Univalence
-
18
von Lombardi, Henri ; Mahboubi, Assia ; Chabert, Jean-Luc, editor ; et al.
Algebraic, Number Theoretic, and Topological Aspects of Ring Theory. :275-341
-
19
von Farooque, Mahfuza ; Graham-Lengrand, Stéphane ; Mahboubi, Assia
Proceedings of the Eighth ACM SIGPLAN international workshop on Logical frameworks & meta-languages: theory & practice. :3-14
-
20
von Cohen, Cyril ; Mahboubi, Assia
Proceedings of the 10th ASIC and 9th MKM international conference, and 17th Calculemus conference on Intelligent computer mathematics. :189-203
-
21
von Martin Baillon and Yannick Forster and Assia Mahboubi and Pierre-Marie Pédrot and Matthieu Piquerez ; Baillon, Martin ; Forster, Yannick ; et al.
Schlagworte: type theory; constructive mathematics; continuity; Coq; InProceedings; Text; doc-type:ResearchArticle; publishedVersion
-
22
Schlagworte: Type theory; computer algebra; interactive theorem proving
-
23
von Baillon, Martin ; Mahboubi, Assia ; Pédrot, Pierre-Marie ; et al.
Schlagworte: Type theory; continuity; syntactic model
-
24
von Affeldt, Reynald ; Cohen, Cyril ; Kerjean, Marie ; et al.
Automated Reasoning : 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II. 12167:3-20
-
25
von Rouhling, Damien ; Farooque, Mahfuza ; Graham-Lengrand, Stéphane ; et al.
Schlagworte: Computer Science - Logic in Computer Science
Hilfe & Kontakt ǀ Fernleihe | Hilfe zur Fernleihe ǀ Literaturvorschlag| Literaturvorschlag