Maude-PSL: a new input language for Maude-NPA

Cholewa, Andrew Russel

Back to results

University of Illinois at Urbana-Champaign

Maude-PSL: a new input language for Maude-NPA

dc:creator Cholewa, Andrew Russel

thesis:degree_name M.S.

dc:date2015

Abstract

dc:description

DSpace SAF Submission Ingestion Package generated from Vireo submission #8115 on 2015-07-22 at 10:34:04

Degree

thesis:*

Name thesis:degree_name: M.S.
Level thesis:degree_level: Thesis
Discipline thesis:degree_discipline: Computer Science
Grantor: University of Illinois at Urbana-Champaign
Year dc:date: 2015

Author and committee

dc:creator, dc:contributor.*

Author dc:creator: Cholewa, Andrew Russel

Subjects

dc:subject × 8

Rights

dc:rights

Language dc:language: en

Identifiers

dc:identifier.*

Handle dc:identifier: http://hdl.handle.net/2142/78502
OAI identifier oai:identifier: oai:www.ideals.illinois.edu:2142/78502

Chain of custody

source

Harvested from: University of Illinois - Urbana-Champaign
Base URL: www.ideals.illinois.edu/oai-pmh
Last updated: 2026-07-22
Source record: OAI-PMH GetRecord

related terms

citation

Cholewa, Andrew Russel. Maude-PSL: a new input language for Maude-NPA. Thesis thesis, University of Illinois at Urbana-Champaign, 2015. http://hdl.handle.net/2142/78502

Maude-PSL: a new input language for Maude-NPA

Abstract

Degree

Author and committee

Subjects

Rights

Identifiers

Chain of custody

More from University of Illinois - Urbana-Champaign