المؤلفون: Chassot, Samuel, Kunčak, Viktor

مصطلحات موضوعية: Computer Science - Programming Languages, Computer Science - Software Engineering

URL الوصول: http://arxiv.org/abs/2412.13581

المؤلفون: Bucev, Mario, Chassot, Samuel, Felix, Simon, Schramka, Filip, Kunčak, Viktor

مصطلحات موضوعية: Computer Science - Software Engineering, Computer Science - Programming Languages

URL الوصول: http://arxiv.org/abs/2412.07235

المؤلفون: Borges, Beatriz, Foroutan, Negar, Bayazit, Deniz, Sotnikova, Anna, Montariol, Syrielle, Nazaretzky, Tanya, Banaei, Mohammadreza, Sakhaeirad, Alireza, Servant, Philippe, Neshaei, Seyed Parsa, Frej, Jibril, Romanou, Angelika, Weiss, Gail, Mamooler, Sepideh, Chen, Zeming, Fan, Simin, Gao, Silin, Ismayilzada, Mete, Paul, Debjit, Schöpfer, Alexandre, Janchevski, Andrej, Tiede, Anja, Linden, Clarence, Troiani, Emanuele, Salvi, Francesco, Behrens, Freya, Orsi, Giacomo, Piccioli, Giovanni, Sevel, Hadrien, Coulon, Louis, Pineros-Rodriguez, Manuela, Bonnassies, Marin, Hellich, Pierre, van Gerwen, Puck, Gambhir, Sankalp, Pirelli, Solal, Blanchard, Thomas, Callens, Timothée, Aoun, Toni Abi, Alonso, Yannick Calvino, Cho, Yuri, Chiappa, Alberto, Sclocchi, Antonio, Bruno, Étienne, Hofhammer, Florian, Pescia, Gabriel, Rizk, Geovani, Dadi, Leello, Stoffl, Lucas, Ribeiro, Manoel Horta, Bovel, Matthieu, Pan, Yueyang, Radenovic, Aleksandra, Alahi, Alexandre, Mathis, Alexander, Bitbol, Anne-Florence, Faltings, Boi, Hébert, Cécile, Tuia, Devis, Maréchal, François, Candea, George, Carleo, Giuseppe, Chappelier, Jean-Cédric, Flammarion, Nicolas, Fürbringer, Jean-Marie, Pellet, Jean-Philippe, Aberer, Karl, Zdeborová, Lenka, Salathé, Marcel, Jaggi, Martin, Rajman, Martin, Payer, Mathias, Wyart, Matthieu, Gastpar, Michael, Ceriotti, Michele, Svensson, Ola, Lévêque, Olivier, Ienne, Paolo, Guerraoui, Rachid, West, Robert, Kashyap, Sanidhya, Piazza, Valerio, Simanis, Viesturs, Kuncak, Viktor, Cevher, Volkan, Schwaller, Philippe, Friedli, Sacha, Jermann, Patrick, Käser, Tanja, Bosselut, Antoine

المصدر: PNAS (2024) Vol. 121 | No. 49

مصطلحات موضوعية: Computer Science - Computers and Society, Computer Science - Artificial Intelligence, Computer Science - Computation and Language

URL الوصول: http://arxiv.org/abs/2408.11841

المؤلفون: Poiroux, Auguste, Weiss, Gail, Kunčak, Viktor, Bosselut, Antoine

مصطلحات موضوعية: Computer Science - Computation and Language, Computer Science - Artificial Intelligence, Computer Science - Machine Learning

URL الوصول: http://arxiv.org/abs/2406.07222

المؤلفون: Guilloud, Simon, Gambhir, Sankalp, Gilot, Andrea, Kunčak, Viktor

مصطلحات موضوعية: Computer Science - Logic in Computer Science, I.2.3, F.4.1

URL الوصول: http://arxiv.org/abs/2403.13403

المؤلفون: Guilloud, Simon, Kuncak, Viktor

مصطلحات موضوعية: Computer Science - Logic in Computer Science, Mathematics - Logic

URL الوصول: http://arxiv.org/abs/2307.07569

المؤلفون: Raya, Rodrigo, Hamza, Jad, Kunčak, Viktor

مصطلحات موضوعية: Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/2208.02713

المؤلفون: Guilloud, Simon, Kunčak, Viktor

مصطلحات موضوعية: Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/2110.03315

المؤلفون: Raya, Rodrigo, Kunčak, Viktor

مصطلحات موضوعية: Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/2109.05363

المؤلفون: Chassot, Samuel, Kunčak, Viktor

مصطلحات موضوعية: Computer Science - Software Engineering, Computer Science - Programming Languages

URL الوصول: http://arxiv.org/abs/2107.08824

المؤلفون: Schmid, Georg, Kunčak, Viktor

مصطلحات موضوعية: Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/2103.07699

المؤلفون: Schmid, Georg Stefan, Blanvillain, Olivier, Hamza, Jad, Kunčak, Viktor

مصطلحات موضوعية: Computer Science - Programming Languages, D.3.1, D.3.3

URL الوصول: http://arxiv.org/abs/2011.07653

المؤلفون: Raya, Rodrigo, Kunčak, Viktor

المساهمون: Swiss National Science Foundation

المصدر: Journal of Logical and Algebraic Methods in Programming ; volume 136, page 100906 ; ISSN 2352-2208

الاتاحة: http://dx.doi.org/10.1016/j.jlamp.2023.100906
https://api.elsevier.com/content/article/PII:S2352220823000603?httpAccept=text/xml
https://api.elsevier.com/content/article/PII:S2352220823000603?httpAccept=text/plain

المؤلفون: Edelmann, Romain, Hamza, Jad, Kunčak, Viktor

مصطلحات موضوعية: Computer Science - Formal Languages and Automata Theory, Computer Science - Data Structures and Algorithms

URL الوصول: http://arxiv.org/abs/1911.12737

المؤلفون: Hamza, Jad, Voirol, Nicolas, Kunčak, Viktor

مصطلحات موضوعية: Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/1904.03482

المؤلفون: Mitrović, Slobodan, Piskac, Ruzica, Kunčak, Viktor

مصطلحات موضوعية: Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/1903.08571

المؤلفون: Edelmann, Romain, Kunčak, Viktor

مصطلحات موضوعية: Computer Science - Artificial Intelligence

URL الوصول: http://arxiv.org/abs/1902.02194

المؤلفون: Mayer, Mikaël, Kunčak, Viktor, Chugh, Ravi

مصطلحات موضوعية: Computer Science - Programming Languages

URL الوصول: http://arxiv.org/abs/1809.04209

المؤلفون: Guilloud, Simon, Gambhir, Sankalp, Kunčak, Viktor

المساهمون: Simon Guilloud and Sankalp Gambhir and Viktor Kunčak

مصطلحات موضوعية: Proof assistant, First Order Logic, Set Theory

وصف الملف: application/pdf

Relation: Is Part Of LIPIcs, Volume 268, 14th International Conference on Interactive Theorem Proving (ITP 2023); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITP.2023.17

الاتاحة: https://doi.org/10.4230/LIPIcs.ITP.2023.17
https://nbn-resolving.org/urn:nbn:de:0030-drops-183922
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITP.2023.17

المؤلفون: Guilloud, Simon, Bucev, Mario, Milovančević, Dragana, Kunčak, Viktor

المصدر: Computer Aided Verification ; Lecture Notes in Computer Science ; page 398-422 ; ISSN 0302-9743 1611-3349 ; ISBN 9783031377082 9783031377099

الاتاحة: http://dx.doi.org/10.1007/978-3-031-37709-9_19
https://link.springer.com/content/pdf/10.1007/978-3-031-37709-9_19