Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Conference

Le Clemi Sup, un acteur clé pour l’innovation et la formation des enseignants ? Vers un open lab ?

Subjects: [SHS]Humanities and Social SciencesAix-en-Provence; FranceAix-en-Provence, France

  • Source: Innovation in teacher education: sustainable change and evaluating impact at macro, meso and micro level ; https://hal.science/hal-04531990 ; Innovation in teacher education: sustainable change and

تفاصيل العنوان

×
Conference

Dualizing sup-preserving endomaps of a complete lattice

Subjects: [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]; [MATH.MATH-LO]Mathematics [math]/Logic [math.LO]Cambridge; United States

  • Source: Electronic Proceedings in Theoretical Computer Science ; Applied Category Theory Conference 2020 ; https://hal.science/hal-02901445 ; Applied Category Theory Conference 2020, Jul 2020, Cambridge,

تفاصيل العنوان

×
Conference

Dualizing sup-preserving endomaps of a complete lattice

Subjects: [INFO]Computer Science [cs]; [MATH]Mathematics [math]Cambridge; United States

  • Source: Proceedings 3rd Annual International Applied Category Theory Conference 2020 (ACT 2020), volume 333 of Electronic Proceedings in Theoretical Computer Science ; ACT 2020 ;

تفاصيل العنوان

×
Conference

The Involutive Quantaloid of Completely Distributive Lattices

Subjects: involutive quantaloid; completely distributive lattice; involutive residuated latticePalaiseau; France

  • Source: RAMICS 2020 ; https://hal.science/hal-02342655 ; RAMICS 2020, Uli Fahrenberg; Peter Jipsen; Michael Winter, Apr 2020, Palaiseau, France. pp.286-301 ; http://ramics18.gforge.inria.fr/

تفاصيل العنوان

×
Academic Journal

Token Games and History-Deterministic Quantitative-Automata

Subjects: Quantitative Automata; History-determinism; Token games

  • Source: EISSN: 1860-5974 ; Logical Methods in Computer Science ; https://hal.science/hal-04271341 ; Logical Methods in Computer Science, 2023, Volume19,Issue4, ⟨10.46298/lmcs-19(4:8)2023⟩

تفاصيل العنوان

×
  • 1-10 ل  40 نتائج ل "">< sup ><""