×

Found 28 Documents (Results 1–28)

On reducibility criterions for scalar generalized Verma modules associated to maximal parabolic subalgebras. (English) Zbl 1394.17016

Dobrev, Vladimir (ed.), Lie theory and its applications in physics. Selected papers based on the presentations at the 11th workshop, LT 11, Varna, Bulgaria, June 15–21, 2015. Singapore: Springer (ISBN 978-981-10-2635-5/hbk; 978-981-10-2636-2/ebook). Springer Proceedings in Mathematics & Statistics 191, 465-473 (2016).
MSC:  17B10 22E46
PDF BibTeX XML Cite
Full Text: DOI

A new proof search method for linear logic. (English) Zbl 0936.03057

Bridges, D. S. (ed.) et al., Combinatorics, complexity, and logic. Proceedings of the 1st international conference on discrete mathematics and theoretical computer science, DMTCS ’96, Auckland, New Zealand, December 9-13, 1996. Berlin: Springer. 338-350 (1997).
MSC:  03F52 03F07 03F20
PDF BibTeX XML Cite

Filter Results by …

Document Type

Reviewing State

all top 5

Year of Publication

all top 3

Main Field

Software