Alexei P. Stolboushkin

From MaRDI portal
(Redirected from Person:1302300)



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
scientific article; zbMATH DE number 2079031 (Why is no real title available?)2004-07-21Paper
Finite queries do not have effective syntax.
Information and Computation
2003-01-14Paper
scientific article; zbMATH DE number 1302667 (Why is no real title available?)2002-01-31Paper
Databases over a fixed infinite universe
Programming and Computer Software
2001-04-26Paper
Extended order-generic queries
Annals of Pure and Applied Logic
2001-03-13Paper
Normalizable linear orders and generic computations in finite models
Archive for Mathematical Logic
1999-10-05Paper
scientific article; zbMATH DE number 1136113 (Why is no real title available?)1998-08-13Paper
scientific article; zbMATH DE number 1114329 (Why is no real title available?)1998-03-24Paper
y= 2xVS.y= 3x
Journal of Symbolic Logic
1997-09-28Paper
ON THE COMPUTING POWER OF PROGRAMS WITH SETS
International Journal of Foundations of Computer Science
1993-01-16Paper
Positive program logics in systems with arithmetic
Cybernetics
1984-01-01Paper
Deterministic dynamic logic is strictly weaker than dynamic logic
Information and Control
1983-01-01Paper
The comparison of the expressive power of first-order dynamic logics
Theoretical Computer Science
1983-01-01Paper


Research outcomes over time


This page was built for person: Alexei P. Stolboushkin