Matti Nykänen

From MaRDI portal
(Redirected from Person:524940)



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
How to deal with unbelievable assertions
Annals of Mathematics and Artificial Intelligence
2017-04-27Paper
A note on the genuine Sieve of Eratosthenes
Journal of Functional Programming
2012-09-21Paper
Accommodative Belief Revision
Logics in Artificial Intelligence
2008-10-27Paper
On size reduction techniques for multitape automata
Theoretical Computer Science
2007-01-09Paper
Implementation and Application of Automata
Lecture Notes in Computer Science
2006-11-13Paper
An incremental algorithm for DLO quantifier elimination via constraint propagation
Artificial Intelligence
2006-02-07Paper
Implementation and Application of Automata
Lecture Notes in Computer Science
2005-08-17Paper
Design and implementation of a string database query language.
Information Systems
2003-08-13Paper
Using acceptors as transducers
Theoretical Computer Science
2002-03-03Paper
The exact path length problem.
Journal of Algorithms
2002-01-01Paper
scientific article; zbMATH DE number 1452986 (Why is no real title available?)2000-05-25Paper
Reasoning about strings in databases
Journal of Computer and System Sciences
1999-11-23Paper
scientific article; zbMATH DE number 1173828 (Why is no real title available?)1998-07-12Paper
Finding lowest common ancestors in arbitrarily directed trees
Information Processing Letters
1995-04-04Paper


Research outcomes over time


This page was built for person: Matti Nykänen