Extensions of valuations

DOI10.1017/S096012950400461XzbMATH Open1067.68089OpenAlexW2125869720WikidataQ56873888 ScholiaQ56873888MaRDI QIDQ4675769FDOQ4675769

Jean Goubault-Larrecq

Publication date: 6 May 2005

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s096012950400461x

zbMATH Keywords

Alexandroff topologyprogramming language semanticscontinuous valuationsprobabilistic nondeterminismspecialisation preordering

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Logic in computer science (03B70) Continuous lattices and posets, applications (06B35) Semantics in the theory of computing (68Q55)

Cited In (4)

• EXTENDING THE MEASUREMENT OF TANGIBLES TO INTANGIBLES
• Logical relations for monadic types
• Continuous valuations
• Extending valuations to formal completions

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Continuous valuations 👍 👎
• Extension d’une valuation 👍 👎
• Valuations and Henselization 👍 👎
• Ramification of valuations 👍 👎
• Extending valuations to formal completions 👍 👎
• Quasi-valuations extending a valuation 👍 👎
• Extensions of valuation domains and going-up 👍 👎
• Valuations of terms 👍 👎

This page was built for publication: Extensions of valuations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4675769)