STRUKTUR KOALJABAR UNIVERSAL DALAM SISTEM STATE-BASED

Konsep koaljabar universal yang merupakan dualitas dari aljabar dapat dipandang sebagai suatu teori dalam sistem state based. Dalam kotak hitam (black boxes), automata dan struktur Kripke yang merupakan contoh sistem state-based, struktur koaljabar merupakan penggabungan dua pemetaan yang membawa su...

Full description

Saved in:
Bibliographic Details
Main Author: Henry W. M. Patty
Format: Article
Language:English
Published: Universitas Pattimura 2014-03-01
Series:Barekeng
Subjects:
Online Access:https://ojs3.unpatti.ac.id/index.php/barekeng/article/view/258
Tags: Add Tag
No Tags, Be the first to tag this record!