FAQ

Schedae Informaticae

logo of Jagiellonian University in Krakow

Search results

simple search

search np. “cognitive architectures” AND 1993-200 NOT Urban
advanced search
ex. 1234-6789
ex. 10.4467/16890027AP.16.022.6009
ex. Uniwersytet Jagielloński

Volume 30

Share share

2021 Next

Publication date: 2021

Licence: CC BY-NC-ND licence icon

Editorial team

Editor-in-Chief Stanisław Migórski

Deputy Editor-in-Chief Andrzej Bielecki

Secretary Krzysztof Misztal

Issue content

Wit Foryś

Schedae Informaticae, Volume 30, 2021, pp. 9 - 15

https://doi.org/10.4467/20838476SI.21.001.14382

In this paper we present a cryptographic protocol for a seller - buyer problem and in particular we prove that non-emptiness of a semi-commutative set defined by mappings involved in the protocol is a decidable problem.

Download PDF PDF
Read more Next