scientific article; zbMATH DE number 7215287

MaRDI QIDQ5114826FDOQ5114826

Mirai Ikebuchi, Keisuke Nakano

Publication date: 26 June 2020

Full work available at URL: https://arxiv.org/abs/1901.11010

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The lambda calculus. Its syntax and semantics. Rev. ed.
• An improved Monte Carlo factorization algorithm
• Abstraction problems in combinatory logic: A compositive approach
• The word problem for Smullyan's lark combinator is decidable
• Title not available (Why is that?)
• The combinator S
• THEORETICAL PEARLS

Cited In (4)

• Title not available (Why is that?)
• Some characterizations of a B-property
• Disproving termination of non-erasing sole combinatory calculus with tree automata
• On fields with Property (B)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5114826)