Index Catalog // Hyrax

Remover filtros

Filtragem por: Contributor Guttman, Joshua

A Framework for Exploring Finite Models

First-Order Models for Configuration Analysis

Practical and Theoretical Applications of the Regularity Lemma

Secure and Reliable Data Outsourcing in Cloud Computing

Building Web Based Programming Environments for Functional Programming