Gheorghe Grigoraş

From MaRDI portal
Person:916649

Available identifiers

zbMath Open grigoras.gheorgheMaRDI QIDQ916649

List of research outcomes





PublicationDate of PublicationType
Co-determinism and unambiguity of automata accepting finite or infinite words2016-09-02Paper
https://portal.mardi4nfdi.de/entity/Q31876182016-09-02Paper
Patterns for Maude metalanguage applications2015-03-19Paper
Regular strategies as proof tactics for \textsf{CIRC}2014-01-24Paper
The fuzzy correlation approach in operation of electrical distribution systems2013-08-16Paper
On the complexity of propositional calculus formulae2008-04-14Paper
A tutorial on a monadic approach for exppressions evaluation2008-04-14Paper
https://portal.mardi4nfdi.de/entity/Q38117291987-01-01Paper
https://portal.mardi4nfdi.de/entity/Q39385011981-01-01Paper
https://portal.mardi4nfdi.de/entity/Q39408441981-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38868621980-01-01Paper
Even initial feedback vertex set problem is NP-complete1979-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38516251979-01-01Paper

Research outcomes over time

This page was built for person: Gheorghe Grigoraş

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:916649&oldid=10983952"
Powered by MediaWiki