Person:396600: Difference between revisions

Latest revision as of 11:40, 28 January 2024

Publication	Date of Publication	Type
A strongly polynomial algorithm for criticality of branching processes and consistency of stochastic context-free grammars	2014-08-13	Paper
Rabinizer: Small Deterministic Automata for LTL(F,G)	2012-11-21	Paper
https://portal.mardi4nfdi.de/entity/Q2917302	2012-09-28	Paper
COMPUTING LEAST FIXED POINTS OF PROBABILISTIC SYSTEMS OF POLYNOMIALS	2012-01-23	Paper

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Andreas Gaiser

Revision as of 02:43, 7 October 2023 view source Import231006081045 (talk \| contribs) Bots 963,540 edits Created automatically from import231006081045		Latest revision as of 11:40, 28 January 2024 view source Import240128110107 (talk \| contribs) 40,429 edits Created automatically from import240128110107
Line 1:		Line 1:
	{{~~Person~~}}		{{person}}