×

Found 130 Documents (Results 1–100)

Iterated group products and leakage resilience against \(\mathrm{NC}^1\). (English) Zbl 1364.68216

Proceedings of the 5th conference on innovations in theoretical computer science, ITCS’14, Princeton, NJ, USA, January 11–14, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2243-0). 261-268 (2014).
MSC:  68Q15 20D06 68Q05 94A60
PDFBibTeX XMLCite
Full Text: DOI arXiv

Searching for traces of communication in szilard languages of parallel communicating grammar systems – complexity views. (English) Zbl 1388.68153

Jürgensen, Helmut (ed.) et al., Descriptional complexity of formal systems. 15th international workshop, DCFS 2013, London, ON, Canada, July 22–25, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-39309-9/pbk). Lecture Notes in Computer Science 8031, 42-53 (2013).
MSC:  68Q42 68Q05 68Q15
PDFBibTeX XMLCite
Full Text: DOI

Lower bounds against weakly uniform circuits. (English) Zbl 1364.68217

Gudmundsson, Joachim (ed.) et al., Computing and combinatorics. 18th annual international conference, COCOON 2012, Sydney, Australia, August 20–22, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-32240-2/pbk). Lecture Notes in Computer Science 7434, 408-419 (2012).
MSC:  68Q17 68Q05 68Q15 94C10
PDFBibTeX XMLCite
Full Text: DOI

On the complexity of Szilard languages of regulated grammars. (English) Zbl 1351.68098

Cerone, Antonio (ed.) et al., Theoretical aspects of computing – ICTAC 2011. 8th international colloquium, Johannesburg, South Africa, August 31 – September 2, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-23282-4/pbk). Lecture Notes in Computer Science 6916, 77-94 (2011).
MSC:  68Q05 68Q15 68Q25 68Q42 68Q45
PDFBibTeX XMLCite
Full Text: DOI

The inhabitation problem for rank two intersection types. (English) Zbl 1215.03025

Ronchi della Rocca, Simona (ed.), Typed lambda calculi and applications. 8th international conference, TLCA 2007, Paris, France, June 26–28, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-73227-3/pbk). Lecture Notes in Computer Science 4583, 240-254 (2007).
MSC:  03B40 03D10 68Q17
PDFBibTeX XMLCite
Full Text: DOI arXiv

On the power of unambiguity in alternating machines. (English) Zbl 1121.68343

Liśkiewicz, Maciej (ed.) et al., Fundamentals of computation theory. 15th international symposium, FCT 2005, Lübeck, Germany, August 17–20, 2005. Proceedings. Berlin: Springer (ISBN 3-540-28193-2/pbk). Lecture Notes in Computer Science 3623, 125-136 (2005).
MSC:  68Q05 68Q15
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

Software