Psi-calculi in Isabelle

Jesper Bengtson
, Joachim Parrow
, Tjark Weber

Programming Logic and Semantics

Uppsala University

Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

Oversigt
Fingeraftryk

Fingeraftryk

Dyk ned i forskningsemnerne om 'Psi-calculi in Isabelle'. Sammen danner de et unikt fingeraftryk.

Sorter

Vægt
Alfabetisk

Computer Science

Keyphrases

Drevet af Pure, Scopus & Elsevier Fingerprint Engine™

Alt indhold på dette websted: Copyright © 2026 IT-Universitetet i København, dets licensgivere og bidragydere. Alle rettigheder forbeholdes, herunder dem til tekst- og datamining, AI-træning og lignende teknologier. For alt Open Access indhold gælder de relevante licensbetingelser.

Vi bruger cookies til at hjælpe med at tilvejebringe og forbedre vores service og tilpasse indhold. Ved at fortsætte accepterer du brug af cookies

Pure backend login Link åbnes på en ny fane

IT-Universitetet i København databeskyttelsespolitik Link åbnes på en ny fane

Om webtilgængelighed Link åbnes på en ny fane

Rapport sårbarhed Link åbnes på en ny fane

Kontakt os