Item request has been placed!

Item request cannot be made.

Processing Request

Search Results

Display Settings

Results per page: 10

Sort By: Relevance

Your Filters

Collection : Archive Ouverte Hal (Hyper Article En Ligne, Ccsd - Centre Pour La Communication Scientifique Directe) Publisher : springer Filter by : Subject

Item request has been placed!

Item request cannot be made.

Processing Request

Conference

Inverse monoids of higher-dimensional strings

Authors : Janin, David;

Subjects: [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]; [MATH.MATH-LO]Mathematics [math]/Logic [math.LO]; [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]Cali; Colombia

Source: 12th International Colloquium on Theoretical Aspects of Computing (ICTAC 2015)https://hal.archives-ouvertes.fr/hal-0116572412th International Colloquium on Theoretical Aspects of Computing

Read More Add to Saved list

Conference

Enforcement of (Timed) Properties with Uncontrollable Events

Authors : Renard, Matthieu; Falcone, Yliès; Rollet, Antoine ...

Subjects: [INFO]Computer Science [cs]; [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]; [INFO.INFO-MO]Computer Science [cs]/Modeling and SimulationCali; Colombia

Source: 12th International Colloquium on Theoretical Aspects of Computing (ICTAC 2015)https://hal.inria.fr/hal-0118523812th International Colloquium on Theoretical Aspects of Computing (ICTAC

Read More Add to Saved list

Conference

A Note on Monitors and Büchi automata

Authors : Diekert, Volker; Muscholl, Anca; Walukiewicz, Igor ...

Subjects: [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]Cali; Colombia

Source: ICTAC ; https://hal.archives-ouvertes.fr/hal-01394826 ; ICTAC, Jul 2015, Cali, Colombia. pp.39-57

Read More Add to Saved list

Conference

Newton series, coinductively

Authors : Basold, Henning; Hansen, Helle Hvid; Pin, Jean-Eric ...

Subjects: Newton series; coalgebra; weighted languageCali; Colombia

Source: ICTAC 2015, Lecture Notes in Computer Science 9399 (2015), 91-109 ; ICTAC 2015 ; https://hal.archives-ouvertes.fr/hal-01248122 ; ICTAC 2015, Oct 2015, Cali, Colombia.

Read More Add to Saved list

Conference

A Functorial Bridge between the Infinitary Affine Lambda-Calculus and Linear Logic

Authors : Mazza, Damiano; Pellissier, Luc;

Subjects: Kan extension; Exponentials; Linear LogicCali; Colombia

Source: Internation Colloquium on Theoretical Aspects of Computing ; https://hal.science/hal-01183520 ; Internation Colloquium on Theoretical Aspects of Computing, Oct 2015, Cali,

Read More Add to Saved list

Conference

Computing discriminating and generic words

Authors : Kucherov, Gregory; Nekrich, Yakov; Starikovskaya, Tatiana ...

Subjects: [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS]; [INFO.INFO-TT]Computer Science [cs]/Document and Text ProcessingCartagena de Indias; Colombia

Source: String Processing and Information Retrieval, 19th International Symposium, SPIRE 2012, Cartagena de Indias, Colombia, October 21-25, 2012, Proceedings ; String

Read More Add to Saved list

Conference

Implementation and Assessment of Robot Team Cooperation Models Using Deliberative Control Components

Authors : Gascueña Noheda, José Manuel; Garijo, Francisco; Fernández-Caballero, Antonio ...

Subjects: adaptive multi-agent systems; agent framework; roboticsCartagena de Indias; Colombia

Source: Advances in Artificial Intelligence -- IBERAMIA 2012: 13th Ibero-American Conference on AI, Cartagena de Indias, Colombia, November 13-16, 2012, Proceedings ; ISBN:

Read More Add to Saved list