scientific article; zbMATH DE number 3611345

zbMath0394.03042MaRDI QIDQ4175270

Grzegorz Bryll, S. Miklos

Publication date: 1978

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

AlgorithmsNumber TheoryWord Problem

Mathematics Subject Classification ID

Connections between field theory and logic (12L99) Word problems, etc. in computability and recursion theory (03D40) Algorithms in computer science (68W99) Connections of number theory and logic (11U99)

Related Items (2)

Foundations for the formalization of metamathematics and axiomatizations of consequence theories ⋮ On the eliminability of ideal linguistic entities

This page was built for publication: