Confluence of an extension of combinatory logic by Boolean constants

Łukasz Czajka*

*Corresponding author af dette arbejde
7 Downloads (Pure)

Fingeraftryk

Dyk ned i forskningsemnerne om 'Confluence of an extension of combinatory logic by Boolean constants'. Sammen danner de et unikt fingeraftryk.

Teknik og materialevidenskab