Two applications of analytic functors (Q5958294): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: Konstruktiver Aufbau eines Abschnitts der zweiten Cantorschen Zahlenklasse / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4293501 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A consistency proof of a system including Feferman's \(ID_{\xi}\) by Takeuti's reduction method / rank
 
Normal rank
Property / cites work
 
Property / cites work: Terminal coalgebras in well-founded set theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4693774 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4281466 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4375247 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3024825 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A new system of proof-theoretic ordinal functions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4040375 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Reversion of power series and the extended Raney coefficients / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Lagrange-Good inversion formula and its application to integral equations / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3874266 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Orderings for term-rewriting systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Proving termination with multiset orderings / rank
 
Normal rank
Property / cites work
 
Property / cites work: A bijective proof of infinite variated Good's inversion / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5586461 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5622162 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3773882 / rank
 
Normal rank
Property / cites work
 
Property / cites work: An extension of Schütte's Klammersymbole / rank
 
Normal rank
Property / cites work
 
Property / cites work: A combinatorial proof of the multivariable Lagrange inversion formula / rank
 
Normal rank
Property / cites work
 
Property / cites work: Π12-logic, Part 1: Dilators / rank
 
Normal rank
Property / cites work
 
Property / cites work: Normal functors, power series and \(\lambda\)-calculus / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5508008 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3903002 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4288818 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Logic, language and computation. Festschrift in Honor of Satoru Takasu / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3024908 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4936346 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4217597 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4370351 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Ordering by Divisibility in Abstract Algebras / rank
 
Normal rank
Property / cites work
 
Property / cites work: Reversion of power series by residues / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5606584 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4145861 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3965241 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Une théorie combinatoire des séries formelles / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3752561 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Braided tensor categories / rank
 
Normal rank
Property / cites work
 
Property / cites work: Traced monoidal categories / rank
 
Normal rank
Property / cites work
 
Property / cites work: Well-Quasi-Ordering, The Tree Theorem, and Vazsonyi's Conjecture / rank
 
Normal rank
Property / cites work
 
Property / cites work: On asymmetric structures / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3727946 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3336681 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5639839 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5734436 / rank
 
Normal rank
Property / cites work
 
Property / cites work: LCF considered as a programming language / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3138827 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Graph minors. IV: Tree-width and well-quasi-ordering / rank
 
Normal rank
Property / cites work
 
Property / cites work: Graph minors. VIII: A Kuratowski theorem for general surfaces / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4317890 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5649639 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3699664 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Ordinal numbers and the Hilbert basis theorem / rank
 
Normal rank
Property / cites work
 
Property / cites work: Proof theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: Quantitative domains, groupoids and linear logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3770525 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3773892 / rank
 
Normal rank

Latest revision as of 23:21, 3 June 2024

scientific article; zbMATH DE number 1715295
Language Label Description Also known as
English
Two applications of analytic functors
scientific article; zbMATH DE number 1715295

    Statements

    Two applications of analytic functors (English)
    0 references
    0 references
    3 March 2002
    0 references
    analytic functor
    0 references
    recursive path ordering
    0 references
    Lagrange-Good inversion formula
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers