×

Found 518 Documents (Results 101–200)

Schreier split epimorphisms in monoids and in semirings. (English) Zbl 1294.18001

Textos de Matemática 45. Coimbra: Universidade de Coimbra, Departamento de Matemática (ISBN 978-972-8564-49-0/pbk). vi, 116 p. (2013).
PDFBibTeX XMLCite

From pair points to pairs of models. (English) Zbl 1273.03028

Punčochář, Vít (ed.) et al., The Logica yearbook 2012. Proceedings of the 26th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 18–22, 2012. London: College Publications (ISBN 978-1-84890-110-0/pbk). 159-169 (2013).
MSC:  03A05 03B47
PDFBibTeX XMLCite

Nonlinear geometric control. (Control geométrico no linear.) (Spanish) Zbl 1261.93013

Capriotti, Santiago (ed.) et al., Actas del XI congreso “Dr. Antonio A. R. Monteiro”. Bahía Blanca: Universidad Nacional del Sur, Instituto de Matemática. 3-15 (2012).
PDFBibTeX XMLCite

Weak familiarity and anaphoric accessibility in dynamic semantics. (English) Zbl 1370.03039

de Groote, Philippe (ed.) et al., Formal grammar. 15th and 16th international conferences, FG 2010, Copenhagen, Denmark, August 2010, FG 2011, Ljubljana, Slovenia, August 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-32023-1/pbk). Lecture Notes in Computer Science 7395, 287-306 (2012).
MSC:  03B65
PDFBibTeX XMLCite
Full Text: DOI

Event in compositional dynamic semantics. (English) Zbl 1333.03102

Pogodalla, Sylvain (ed.) et al., Logical aspects of computational linguistics. 6th international conference, LACL 2011, Montpellier, France, June 29 – July 1, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22220-7/pbk). Lecture Notes in Computer Science 6736. Lecture Notes in Artificial Intelligence, 219-234 (2011).
MSC:  03B65 03B40 91F20
PDFBibTeX XMLCite
Full Text: DOI arXiv

Completeness proof by semantic diagrams for transitive closure of accessibility relation. (English) Zbl 1254.03034

Beklemishev, Lev (ed.) et al., Advances in modal logic. Vol. 8. Proceedings of the 8th conference (AiML 2010), Moscow, Russia, August 24–27, 2010. London: College Publications (ISBN 978-1-84890-013-4). 200-217 (2010).
MSC:  03B45
PDFBibTeX XMLCite

An efficient metaheuristic to improve accessibility by rural road network planning. (English) Zbl 1237.90266

Haouari, M. (ed.) et al., ISCO 2010. International symposium on combinatorial optimization. Papers based on the presentations at the symposium, Hammamet, Tunesia, March 24–26, 2010. Amsterdam: Elsevier. Electronic Notes in Discrete Mathematics 36, 631-638 (2010).
MSC:  90C59 90B10
PDFBibTeX XMLCite
Full Text: DOI

Groups acting on graphs. Reprint of the 1989 hardback ed. (English) Zbl 1272.20025

Cambridge Studies in Advanced Mathematics 17. Cambridge: Cambridge University Press (ISBN 978-0-521-18000-9/pbk). xxii, 283 p. (2010).
PDFBibTeX XMLCite

Towards a transcription system of sign language for 3D virtual agents. (English) Zbl 1205.68478

Sobh, Tarek (ed.) et al., Innovations in computing sciences and software engineering. Proceedings of the 2009 second international conference on systems, computing sciences and software engineering (SCSS), December 4–12, 2009. Dordrecht: Springer (ISBN 978-90-481-9111-6/hbk; 978-90-481-9112-3/ebook). 85-90 (2010).
MSC:  68U10 68T42
PDFBibTeX XMLCite
Full Text: DOI

Inductive and coinductive components of corecursive functions in Coq. (English) Zbl 1279.68285

Adámek, J. (ed.) et al., Proceedings of the ninth workshop on coalgebraic methods in computer science (CMCS 2008), Budapest, Hungary, April 4–6, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 203, No. 5, 25-47 (2008).
MSC:  68T15
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field