Cristin-resultat-ID: 1801337
Sist endret: 2. februar 2021, 11:04
Resultat
Vitenskapelig artikkel
2020

First-Order Concatenation Theory with Bounded Quantifiers (Preprint)

Bidragsytere:
  • Lars Kristiansen og
  • Juvenal Murwanashyaka

Tidsskrift

arXiv.org
ISSN 2331-8422

Om resultatet

Vitenskapelig artikkel
Publiseringsår: 2020
Publisert online: 2020
Sider: -

Lenker

original online (doi)

Importkilder

Scopus-ID: 2-s2.0-85085396428

Beskrivelse Beskrivelse

Tittel

First-Order Concatenation Theory with Bounded Quantifiers (Preprint)

Bidragsytere

Lars Kristiansen

  • Tilknyttet:
    Forfatter
    ved Matematisk institutt ved Universitetet i Oslo
  • Tilknyttet:
    Forfatter
    ved PROG Programmering ved Universitetet i Oslo

Juvenal Murwanashyaka

  • Tilknyttet:
    Forfatter
    ved Flere komplekse variable, logikk og operatoralgebraer ved Universitetet i Oslo
1 - 2 av 2