Gheorghe Grigoraş

Available identifiers

zbMath Open grigoras.gheorgheMaRDI QIDQ916649

List of research outcomes

Publication	Date of Publication	Type
Co-determinism and unambiguity of automata accepting finite or infinite words	2016-09-02	Paper
https://portal.mardi4nfdi.de/entity/Q3187618	2016-09-02	Paper
Patterns for Maude metalanguage applications	2015-03-19	Paper
Regular strategies as proof tactics for \textsf{CIRC}	2014-01-24	Paper
The fuzzy correlation approach in operation of electrical distribution systems	2013-08-16	Paper
On the complexity of propositional calculus formulae	2008-04-14	Paper
A tutorial on a monadic approach for exppressions evaluation	2008-04-14	Paper
https://portal.mardi4nfdi.de/entity/Q3811729	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3938501	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3940844	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3886862	1980-01-01	Paper
Even initial feedback vertex set problem is NP-complete	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3851625	1979-01-01	Paper

Research outcomes over time

This page was built for person: Gheorghe Grigoraş