◍wovepaper
SearchResearchersInstitutions
Sign in
institution

Laboratoire d'Algorithmique, Complexité et Logique

8 papers here128 citations across 8
fields
  • cs.LO3
  • cs.FL2
  • cs.CC1
  • cs.CR1
  • math.LO1
ROR 05bdn0q71OpenAlex

affiliations via OpenAlex

output
20062011
most citedModel-checking ATL under Imperfect Information and Perfect Recall Semantics is Undecidable

77 citations

researchers with a paper here
  • Sergey Verlan2 profiles3 · h 22
  • Emmanuel Polonowski2 · h 6
  • Yurii Rogozhin2 profiles2 · h 18
  • Cătălin Dima1
  • Danièle Beauquier1 · h 1
  • Denis Richard1 · h 9
  • Ferucio Laurenţiu Ţiplea1
  • Frédéric Gauche1 · h 2
  • Ion Petre1
  • Marian Kogler1
  • M. Vsemirnov1 · h 11
  • P. Cégielski1 · h 8
collaborating institutions
  • Institute of Mathematics and Computer ScienceMD2 papers
  • Åbo Akademi UniversityFI1 paper
  • Département d'InformatiqueFR1 paper
Showing cs.FLShow all

2 papers · 1 filter

cs.FL2010★ 2 cited

Matrix Insertion-Deletion Systems

Ion Petre, Sergey Verlan

In this article, we consider for the first time the operations of insertion and deletion working in a matrix controlled manner. We show that, similarly as in the case of context-fr…

cs.FL2010★ 45 cited

Graph-Controlled Insertion-Deletion Systems

Rudolf Freund, Marian Kogler, Yurii Rogozhin +1

In this article, we consider the operations of insertion and deletion working in a graph-controlled manner. We show that like in the case of context-free productions, the computati…

◍wovepaper

Papers, researchers and institutions, woven together.

Explore
  • Search
  • Researchers
  • Institutions
Account
  • Library
  • Chat
Data
  • arXiv.org
  • Semantic Scholar
  • OpenAlex
  • Latest RSS
AboutContactPrivacyDevelopersllms.txtopenapi.json
Not affiliated with arXiv. Researcher data from Semantic Scholar (ODC-BY) and OpenAlex.